Enlarge

Automated reasoning and its applications : essays in honor of Larry Wos

Publication Data

Title Automated reasoning and its applications : essays in honor of Larry Wos
Contributors Larry Wos, Robert Veroff, Gail W. Pieper
Publisher MIT Press
Publication date 1997
Publication location Cambridge, Mass.
Language English

Descriptive Notes

Includes index.

Topics

008053264

Catalogue Data

OBNB ID GB9764481
ISBN 10 0262220555
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 viii,247p.

Buy a copy

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

Automated reasoning and its applications : essays in honor of Larry Wos. ISBN 0262220555. Published by MIT Press in 1997. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.