عنوان
پدید آورنده
موضوع
رده
QA 905 .L35
QA
905
.
L35
کتابخانه
محل استقرار
IR
128550
انگلیسی
IR
Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
[Book]
/ Edited by C. Bohm
Berlin
: Springer - Verlag
, 1975
xii, 370p.
; 25 cm
Lecture notes in computer science theory
; 31
انگليسي
Bibliography :p. [360]-310
Combinatory logic -- Congresses
Programming languages (Electronic computurs) -- Congresses
QA
905
.
L35
Bohm Carrado
zioni del calcola
, 1923-
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
