The resolution calculus

By Alexander Leitsch

Subjects: Résolution de problème, Automatisches Beweisverfahren, 511.3, Automatic theorem proving, Théorie démonstration, Auflösungsprinzip, Théorèmes, Preuve, Théorie de la, Résolution problème, Informatique, Démonstration automatique, Raffinement, Qa76.9.a96 l44 1997

Description: