Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science)

1 edition
  • 1 Currently reading
Locate

My Reading Lists:

Create a new list


  • 1 Currently reading

Buy this book

Last edited by ImportBot
March 28, 2025 | History

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science)

1 edition
  • 1 Currently reading

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

Publish Date
Publisher
Springer
Language
English
Pages
343

Buy this book

Book Details


The Physical Object

Format
Paperback
Number of pages
343
Dimensions
9.2 x 6.1 x 0.8 inches
Weight
1.1 pounds

Edition Identifiers

Open Library
OL9055932M
ISBN 10
3540289313
ISBN 13
9783540289319
LibraryThing
7670267
Goodreads
993985

Work Identifiers

Work ID
OL9075276W

Source records

Internet Archive item record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 28, 2014 Edited by ImportBot import new book
April 6, 2014 Edited by ImportBot Added IA ID.
August 10, 2010 Edited by IdentifierBot added LibraryThing ID
April 30, 2008 Created by an anonymous user Imported from amazon.com record