Cover of: Automated Reasoning with Analytic Tableaux and Related Methods | Neil V. Murray

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Lecture Notes in Computer Science)

1 edition

Published by Springer .
Written in English.

There's no description for this book yet. Can you add one?

The Physical Object

Format
Paperback
Number of pages
323
Dimensions
9.2 x 6.1 x 0.7 inches
Weight
15.2 ounces

ID Numbers

Open Library
OL12809617M
ISBN 10
3540660860
ISBN 13
9783540660866

Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $6.86 (used)
Better World Books

History

Download catalog record: RDF / JSON / OPDS
September 28, 2018 Edited by Clean Up Bot correction
August 8, 2018 Edited by ImportBot import new book
April 13, 2010 Edited by Open Library Bot Linked existing covers to the edition.
December 15, 2009 Edited by WorkBot link works
April 30, 2008 Created by an anonymous user Inital record created, from an amazon.com record.