Cover of Automated Reasoning

An edition of Automated Reasoning (1987)

Automated reasoning

33 basic research problems

By Larry Wos

0 (0 Ratings)

2 Want to read0 Currently reading0 Have read

2 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

Prentice-Hall

Language

eng

Pages

319

Description:

subjects: Computer programming, Artificial intelligence, Automatic theorem proving, Computer programs