---

＜図書＞
Mathematical logic in computer science / edited by B. Domolki and T. Gergely.
(Colloquia mathematica Societatis Janos Bolyai ; 26)

出版者	Amsterdam : North-Holland
出版年	1981
大きさ	758 p. : ill. ; 25 cm.
著者標目	Domolki, B. Gergely, T. Bolyai Janos Matematikai Tarsalat Colloquium on Mathematical Logic in Computer Science (1978 ; Salgotarjan, Hungary)
件　名	Programming (Electronic computers) Programming languages (Electronic computers) -- Semantics  全ての件名で検索
一般注記	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.

 類似資料