Cover image for Theorem proving with analytic tableaux and related methods
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...

On Order