Types in logic programming / edited by Frank Pfenning |
Pubbl/distr/stampa | Cambridge (Mass.), : The MIT press, ©1992 |
Descrizione fisica | XVIII, 357 p. ; 24 cm |
Disciplina |
005.1
005.115 |
Collana | Logic programming |
Soggetto topico |
Programmazione logica
Elaboratori elettronici - Programmazione |
ISBN | 0262161311 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-RMS1740935 |
Cambridge (Mass.), : The MIT press, ©1992 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|