Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
by:
Georg Gottlob (author)
Format: paperback
ISBN:
9783540571841 (3540571841)
Publish date: August 13th 1993
Publisher: Springer
Pages no: 354
Edition language: English