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.

Biblioteca

MARC Lista (tabellare)
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren
Autore STERLING, Leon
Edizione [2. ed.]
Pubbl/distr/stampa Cambridge (Mass.); London, : The MIT Press, 1994
Descrizione fisica XXXVIII, 509 p. : ill. ; 23 cm
Disciplina 005.133
Altri autori (Persone) SHAPIRO, Ehud
Soggetto topico Elaboratori - Linguaggi di programmazione
Soggetto non controllato Linguaggio di programmazione [:] Prolog
ISBN 0-262-19338-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000244030203316
STERLING, Leon  
Cambridge (Mass.); London, : The MIT Press, 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren
Autore STERLING, Leon
Pubbl/distr/stampa Cambridge (MA); London : MIT Press, 1985
Descrizione fisica XXIII, 437 p. ; 23 cm
Disciplina 005.262
Altri autori (Persone) SHAPIRO, Ehud
Collana MIT press series in logic programming
Soggetto non controllato Prolog
ISBN 0262192500
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000935570203316
STERLING, Leon  
Cambridge (MA); London : MIT Press, 1985
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Third international conference on logic programming : Imperial college of science and technology : London, United Kingdom, july 14-18, 1986 : proceedings / edited by Ehud Shapiro
Third international conference on logic programming : Imperial college of science and technology : London, United Kingdom, july 14-18, 1986 : proceedings / edited by Ehud Shapiro
Autore International conference on automated deduction : <3.; : London>
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 1986
Descrizione fisica IX, 720 p. : ill. ; 24 cm
Disciplina 005.13
Collana Lecture notes in computer science
Soggetto topico Linguaggi di programmazione - Atti di congressi - Londra - 1986
ISBN 3540164928
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005795360203316
International conference on automated deduction : <3.; : London>  
Berlin [etc.] : Springer, copyr. 1986
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui