An edition of Automated reasoning with analytic tableaux and related methods (2003)

Automated reasoning with analytic tableaux and related methods

international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

by

Automated reasoning with analytic tableaux an ...
TABLEAUX 2003 (2003 Rome, Ital ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
September 18, 2024 | History
Edit
An edition of Automated reasoning with analytic tableaux and related methods (2003)

Automated reasoning with analytic tableaux and related methods

international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

by

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

Publish Date
Publisher
Springer
Language
English
Pages
270

Check nearby libraries

Buy this book

Subjects

Congresses, 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
2003, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
New York
Series
Lecture notes in computer science -- 2796. -- Lecture notes in artificial intelligence, Lecture notes in computer science -- 2796., Lecture notes in computer science
Genre
Congresses.

Classifications

Library of Congress
QA76.9.A96 T33 2003, QA76.9.A96 T33 2003, QA75.5-76.95

The Physical Object

Pagination
x, 270 p. :
Number of pages
270

Edition Identifiers

Open Library
OL18204565M
ISBN 10
3540407871
LCCN
2003060201
OCLC/WorldCat
52813994
LibraryThing
7670470
Goodreads
993982

Work Identifiers

Work ID
OL12349563W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

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