An edition of Automated Reasoning with Analytic Tableaux and Related Methods (2006)

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by and

Automated Reasoning with Analytic Tableaux an ...
Marta Cialdea Mayer, Fiora Pir ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 25, 2022 | History
Edit
An edition of Automated Reasoning with Analytic Tableaux and Related Methods (2006)

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by and

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

Publish Date
Publisher
Springer London, Limited
Language
English

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving
Edition Availability
Cover of: Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
2006, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
Q334-342

The Physical Object

Pagination
x, 270

Edition Identifiers

Open Library
OL37096046M
ISBN 13
9783540452065

Work Identifiers

Work ID
OL27322963W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation