Mathematical logic in computer science /

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակներ: Colloquium on Mathematical Logic in Computer Science, Bolyai Janos Mathematikai Tarsulat
Այլ հեղինակներ: Domolki, B. (Խմբագիր), Gergely, Tamas (Խմբագիր)
Ձևաչափ: Գիտաժողովի նյութեր Գիրք
Լեզու:English
Հրապարակվել է: Amsterdam ; New York : North-Holland Publ. Co., 1981.
Շարք:Colloquia mathematica societatis Janos Bolyai 26
Խորագրեր:
Computer programming
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 ;

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