Title:
Theorem proving with analytic tableaux and related methods
Series:
Lecture notes in artificial intelligence ; 918
Publication Information:
Berlin : Springer, 1995
ISBN:
9783540593386
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000003253980 | QA76.9.A96 I73 1995 | Open Access Book | Proceedings, Conference, Workshop etc. | Searching... |