Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Is Open Library useful to you? Chip in to keep it growing. Your gift will be matched today!   Donate
Last edited by ImportBot
July 29, 2014 | History

Handbook of practical logic and automated reasoning 1 edition

By unknown author
Handbook of practical logic and automated reasoning

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


¬°Ay, caramba! There's no description for this book yet. Can you help?
Subjects
There is only 1 edition record, so we'll show it here...  •  Add edition?

Handbook of practical logic and automated reasoning
John Harrison.

Published 2009 by Cambridge University Press in Cambridge, New York .
Written in English.

Edition Notes

Includes bibliographical references (p. 631-667) and index.

Classifications

Dewey Decimal Class
006.333
Library of Congress
QA76.9.L63 H375 2009

The Physical Object

Pagination
xix, 681 p. :
Number of pages
681

ID Numbers

Open Library
OL24094953M
Internet Archive
cambridgehandboo00libg_098
ISBN 10
0521899575
ISBN 13
9780521899574
LC Control Number
2009281331

History Created July 29, 2014 · 1 revision Download catalog record: RDF / JSON

July 29, 2014 Created by ImportBot import new book