Title: The resolution calculus
First published: 1997
Subjects: Automatic theorem proving, Théorie démonstration, Raffinement, Résolution problème, Théorèmes, Résolution de problème, Démonstration automatique, Informatique, Preuve, Théorie de la, Auflösungsprinzip, Automatisches Beweisverfahren, Qa76.9.a96 l44 1997, 511.3
LC classification: QA76.9.A96 L44 1997