Catalogo del Polo BNCF
Biblioteca Nazionale Centrale di Firenze
English
ricerca libera | ricerca base | ricerca avanzata | lista titoli | lista autori | lista soggetti | navigatore dewey | aiutoaiuto | crediti
Documento 376 di 1538 torna alla lista dei risultati    vai al documento precedente vai al documento successivo

Symposium on l-calculus and computer science theory <1975 ; Roma>
Proceedings of the Symposium on l-calculus and computer science theory : Roma, March 25-27, 1975.
Roma : Tipo-litografia MARVES, [1975].

315 p. ; 24 cm.
Proceedings of the Symposium on lambda-calculus and computer science theory. - l-calculus and computer science theory. - Lambda-calculus and computer science theory.
In testa al front.: IAC, Istituto per le applicazioni del calcolo del Consiglio nazionale delle ricerche.
BN 76471 .   
1. Programmazione - Applicazioni alla semantica - Congressi - 1975   2. Semantica - Metodi matematici - Congressi - 1975  
I. Altro tit.: Proceedings of the Symposium on lambda-calculus and computer science theory.    II. Altro tit.: l-calculus and computer science theory.    III. Altro tit.: Lambda-calculus and computer science theory.   
519.7 (ed. 18) - PROGRAMMAZIONE

Symposium on l-calculus and computer science theory <1975 ; Roma> è la forma preferita per:
        Symposium on lambda-calculus and computer science theory <1975 ; Roma>


Monografia - Materiale a stampa - Pubbl. in: it - Lingua: inglese

Bibl. Nazionale Centrale Di Firenze
Gli utenti registrati possono accedere ai servizi della biblioteca scegliendo il numero di inventario del documento desiderato. Controllare modalità e orario dei servizi.


Collocazione:B.26.10.8368
Inventario: CF990219204   1 v.


record in formato unimarcxml esporta il risultatoesporta i risultati in un file
Opac Versione: 1.0  -  5/2/2006
Aggiornato al: 15/03/2019 (2.904.678 monografie e 185.542 periodici)
host: opac01