Theorem proving with analytic tableaux and related methods
Title
: 
Theorem proving with analytic tableaux and related methods

Conference Author
: 
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)

Series
: 
Lecture notes in artificial intelligence ; 918

Publication Information
: 
Berlin : Springer, 1995

ISBN
: 
9783540593386

Subject Term
: 
Automatic theorem proving -- Congresses
 
Nonclassical mathematical logic -- Congresses
 
Logic, Symbolic and mathematical -- Congresses

Added Author
: 
Baumgartner, Peter
 
Hahnle, Reiner
 
Posegga, Joachim


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000003253980QA76.9.A96 I73 1995Open Access BookProceedings, Conference, Workshop etc.