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
Ano de publicación: 2001
Volume: 2152
Páxinas: 297-312
Tipo: Achega congreso