An edition of Theorem proving with analytic tableaux and related methods
(1996)
Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996
Proceedings (Lecture Notes in Computer Science)
by TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini, and P. Miglioli
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Nonclassical mathematical logic, Symbolic and mathematical Logic, Artificial intelligence, Mathematical logic, Mathematical theory of computation, Mathematics, Computers, Automata, Computer Logic, Science/Mathematics, Logic, Symbolic and mathematic, Artificial Intelligence - General, Logic, Nonclassical mathematical logi, Computer Science| Edition | Availability |
|---|---|
1
Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996 : Proceedings (Lecture Notes in Computer Science)
June 1996, Springer
Paperback
in English
3540612084 9783540612087
|
aaaa
|
2
Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
1996, Springer
in English
3540612084 9783540612087
|
zzzz
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL3266526W |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |