Enlarge

Computational logic : essays in honor of Alan Robinson

Publication Data

Title Computational logic : essays in honor of Alan Robinson
Contributors Jean-Louis Lassez, G. Plotkin, J. A. Robinson
Publisher MIT Press
Publication date 1991
Publication location Cambridge, Mass.
Language English

Topics

Automatic theorem proving
012301987

Catalogue Data

OBNB ID GB9207026
ISBN 10 0262121565
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 viii,727p.

Buy a copy

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

Computational logic : essays in honor of Alan Robinson. ISBN 0262121565. Published by MIT Press in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.