Cite this
Email this
Export Record
Save to List
Order a print copy

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings

Saved in:
Bibliographic Details
Other Authors: Baumgartner, Peter (Editor)
Hähnle, Reiner (Editor)
Posegga, Joachim (Editor) 
Format: Book
Language:English
Published: Berlin : Springer-Verlag, 1995
Series:Lecture notes in computer science
Genre/form:sborníky
ISBN:3-540-59338-1
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Call number Old Call number
Regular loan NTK collection 6th floor, shelf 6D/079 QA76 .9 .A96 T33 1995 A 31559