01897nam a22004817a 4500 000031876 CZ-PrVSE 20040809135258.0 030708s1975 gw 000|0 eng | 0-387-07416-3 (Springer, New York) 3-540-07416-3 (Springer, Berlin) ABA006 cze ABA006 ABA006 eng gw xxu 519.161 MRF 004.43 MRF 519.767 MRF 004.42 MRF 511.3 MRF 004.4BŐH Instituto per le Applicazioni del Calcolo "Mauro Picone" [Lambda]-Calculus and Computer Science Theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche / edited by C. Böhm Berlin ; New York : Springer, 1975 xii, 370 s. : il. Lecture notes in computer science ; 37 Slovo lambda v názvu vyjádřeno písmenem řecké abecedy Obsahuje bibliografii kombinatorika ph121739 czenas počítačová věda ph124511 czenas programovací jazyky ph115890 czenas sémantika ph117272 czenas sborníky fd163935 czenas combinatorics eczenas computer science eczenas programming languages eczenas semantics eczenas Böhm, Corrado edt Symposium on [Lambda]-Calculus and Computer Science Theory (1975 : Rome) Lecture notes in computer science PNGMM PDPZ2 F138452 3142170585 20030807 004.4BŐH 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20040809