An edition of Handbook of Practical Logic and Automated Reasoning (2009)

Handbook of Practical Logic and Automated Reasoning

by

Handbook of Practical Logic and Automated Rea ...
Harrison, John, Harrison, John
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
November 19, 2022 | History
Edit
An edition of Handbook of Practical Logic and Automated Reasoning (2009)

Handbook of Practical Logic and Automated Reasoning

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving, Logic
Edition Availability
Cover of: Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
2009, Cambridge University Press
in English
Cover of: Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
2009, Cambridge University Press
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL40476014M
ISBN 13
9780511505188

Work Identifiers

Work ID
OL29413161W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
November 19, 2022 Created by ImportBot import new book