Cover of Symbolic logic and mechanical theorem proving

An edition of Symbolic logic and mechanical theorem proving (1973)

Symbolic logic and mechanical theorem proving

By Chin-Liang Chang

0 (0 Ratings)

3 Want to read0 Currently reading0 Have read

3 Want to read0 Currently reading0 Have read

Publish Date

1973

Publisher

Academic Press

Language

eng

Pages

331

Description:

subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving, Logique symbolique et mathématique, Intelligence artificielle, Théorèmes, Démonstration automatique