1. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
رده :
QA
9
.
5
.
L35
2. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Combinatory logic-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
9
.
5
.
L35
