1.
Record Nr.
UNINA990001291110403321
Titolo
Foundations of logic and functional programming : Workshop Trento, Italy, December 15-19, 1986 / Edited by M. Boscarol ... [et al.]
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, 1988
Collana
Lecture notes in computer science ; 306
Locazione
MA1
Collocazione
C-16-(306
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia