top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Types in logic programming / edited by Frank Pfenning
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
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui