Enlarge

Deduction : automated logic

W. Bibel

Publication Data

Title Deduction : automated logic
Author W. Bibel
Contributor Steffen Hölldobler
Publisher Academic
Publication date 1993
Publication location London
Language English

Catalogue Data

OBNB ID GB9356873
ISBN 10 012095835X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 162.0285

ISBD

P1053 253p.

Buy a copy

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

Deduction : automated logic by W. Bibel. ISBN 012095835X. Published by Academic in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.