Automated reasoning : introduction and applications :: ISBN 007911251X :: McGraw-Hill 1992 :: OBNB, the Open British National Bibliography

Publication Data

Title Automated reasoning : introduction and applications
Contributor Larry Wos
Publisher McGraw-Hill
Publication date 1992
Publication location New York
Language English

Descriptive Notes

System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
Previous ed.: Englewood Cliffs : London : Prentice-Hall, 1984.

Topics

Automatic theorem proving
Artificial intelligence
010036513

Catalogue Data

OBNB ID GB9329074
ISBN 10 007911251X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1008>2nd 2nd ed.
P1053 xvi, 656 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Automated reasoning : introduction and applications. ISBN 007911251X. Published by McGraw-Hill in 1992. Publication and catalogue information, links to buy online and reader comments.