Mathematical logic in computer science /

Mathematical logic in computer science /

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակներ: 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
Խորագրեր:
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.
Ֆիզիկական նկարագրություն:758 p. : ill. ; 25 cm.
ISBN:0444854401
ISSN:0139-3383 ;

Նմանատիպ նյութեր