A certified polynomial-based decision procedure for propositional logic
- Medina-Bulo, I.
- Palomo-Lozano, F.
- Alonso-Jimenez, J.A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540425250
Datum der Publikation: 2001
Ausgabe: 2152
Seiten: 297-312
Art: Konferenz-Beitrag