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
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 01128cam a2200277 a 4500
001 000549884
003 AM-YEHGA
005 20210831153406.0
008 820311s1981 ne a 100 0 eng d
020 |a 0444854401 
040 |a AM-YEHGA  |c AM-YeHGA 
041 0 |a eng 
082 0 0 |a 519.4  |2 19 
245 0 0 |a Mathematical logic in computer science /  |c Ed. by B. Domolki and T. Gergely. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Publ. Co.,  |c 1981. 
300 |a 758 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Colloquia mathematica societatis Janos Bolyai  |x 0139-3383 ;  |v 26 
500 |a 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. 
650 0 |a Computer programming 
650 0 |a Programming languages (Electronic computers)  |x Semantics 
700 1 |a Domolki, B.  |4 edt 
700 1 |a Gergely, Tamas  |4 edt 
711 2 |a Colloquium on Mathematical Logic in Computer Science  |d (1978 :  |c Salgotarjan, Hungary) 
710 2 |a Bolyai Janos Mathematikai Tarsulat. 
999 |c 212656 
952 |o Gulb/5868  |p FL0015212 

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