Computational logic and proof theory 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings /

• 作者：Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/3-540-63385-5
• ISBN/ISSN/ISRC：9783540633853 (paper)
• 作者：Leitsch, Alexander.;Gottlob, Georg.;Mundici, Daniele.
• 索書號：511.3