Enlarge

Handbook of practical logic and automated reasoning

J. Harrison

Publication Data

Title Handbook of practical logic and automated reasoning
Author J. Harrison
Publisher Cambridge University Press
Publication date 2009
Publication location Cambridge
Language English

Topics

014821418

Catalogue Data

OBNB ID GBA8D1105
ISBN 10 0521899575
ISBN 13 9780521899574
Type BibliographicResource, Book
Dewey Classification 006.333

ISBD

P1053 xix, 681 p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Handbook of practical logic and automated reasoning by J. Harrison. ISBN 9780521899574. Published by Cambridge University Press in 2009. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.