Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
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 with:


Buy this book

Amazon $122.37 (new)
Better World Books

There's no description for this book yet. Can you add one?
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

Download catalog record: RDF / JSON
July 29, 2014 Created by ImportBot import new book