The automation of reasoning : an experimenter's notebook with OTTER tutorial :: Larry Wos :: ISBN 0127634207 :: Academic 1996 :: OBNB, the Open British National Bibliography

Publication Data

Title The automation of reasoning : an experimenter's notebook with OTTER tutorial
Author Larry Wos
Publisher Academic
Publication date 1996
Publication location San Diego
Language English

Descriptive Notes

Bibliography: p419-421. _ Includes index.
1 3.5 in. computer disk in pocket attached to inside back cover.

Topics

Automatic theorem proving
Artificial intelligence
011292759

Catalogue Data

OBNB ID GB9674601
ISBN 10 0127634207
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3028553

ISBD

P1053 xiv,434p.

Buy a copy

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

The automation of reasoning : an experimenter's notebook with OTTER tutorial by Larry Wos. ISBN 0127634207. Published by Academic in 1996. Publication and catalogue information, links to buy online and reader comments.