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