Cover of Automated theorem proving

An edition of Automated theorem proving (1987)

Automated theorem proving

By W. Bibel

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1987

Publisher

-

Language

eng

Pages

288

Description:

subjects: Démonstration automatique, Théorèmes, Automatisches Beweisverfahren, Automatic theorem proving, Automatentheorie, Beweis (Mathematik), Mathematics, problems, exercises, etc., Mathematics, data processing