Cover of The resolution calculus

An edition of The resolution calculus (1997)

The resolution calculus

By Alexander Leitsch

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1997

Publisher

Springer

Language

eng

Pages

300

Description:

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