Enlarge

Automated reasoning : 33 basic research problems

Larry Wos

Publication Data

Title Automated reasoning : 33 basic research problems
Author Larry Wos
Publisher Prentice Hall
Publication date 1988
Publication location Englewood Cliffs
Language English

Descriptive Notes

Bibliography: p273-282 _ Includes index.

Topics

Automatic theorem proving
Artificial intelligence
011294511

Catalogue Data

OBNB ID GB8834290
ISBN 10 013054552X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3028551

ISBD

P1053 xiii,319p.

Buy a copy

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

Automated reasoning : 33 basic research problems by Larry Wos. ISBN 013054552X. Published by Prentice Hall in 1988. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.