Handbook of Practical Logic and Automated Reasoning

We couldn't estimate the reading time for this book.

Author

Harrison, John

Publication

2009 - Cambridge University Press

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139780511507328
ISBN-100511507321
Better World Books9780511507328
Open LibraryOL40621462M

Classifications

LCCQA76.9.L63 H375 2009

Subjects

Topics

Logic Automatic theorem proving

Other Editions

Handbook of Practical Logic and Automated ReasoningCambridge University Press2009

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!