Mathematical logic in computer science /

Saved in:
书目详细资料
企业作者: Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science
其他作者: Domolki, B., Gergely, T. (Tamás)
格式: 会议录 图书
语言:English
出版: Amsterdam ; New York : North-Holland Pub. Co., 1981.
丛编:Colloquia mathematica Societatis Janos Bolyai, 26
主题:
实物特征
Item Description:Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
实物描述:758 p. : ill. ; 25 cm.
ISBN:0444854401
ISSN:0139-3383 ;