Computer science logic 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /

• 作者：Mogens Nielsen, Wolfgang Thomas (eds.)
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/BFb0028003
• ISBN/ISSN/ISRC：9783540645702 (paper)
• 作者：Thomas, Wolfgang;Nielsen, Mogens
• 索書號：004.015113