Automated reasoning with analytic tableaux and related methods
international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Roy Dyckhoff (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
X, 440 p. : ill. ; 24 cm
Format:
Buch (Kongress)