Cover of Automated reasoning

An edition of Automated reasoning (1984)

Automated reasoning

introduction and applications

By Larry Wos

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1984

Publisher

Prentice-Hall

Language

eng

Pages

482

Description:

subjects: Démonstration automatique, Théorèmes, Kunstmatige intelligentie, Programmation (Informatique), Computer programming, Automatic theorem proving, Artificial intelligence, Intelligence artificielle, Electronic digital computers, programming