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)
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Autore Van Hentenryck, Pascal
Pubbl/distr/stampa Cambridge (Mass.) [etc.] : MIT Press, copyr. 1989
Descrizione fisica XVI, 224 p. : ill. ; 23 cm
Disciplina 005
Soggetto non controllato elaboratori elettronici - programmazione
intelligenza artificiale
ISBN 0-262-08181-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000247560203316
Van Hentenryck, Pascal  
Cambridge (Mass.) [etc.] : MIT Press, copyr. 1989
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Autore Van Hentenryck, Pascal
Pubbl/distr/stampa Cambridge (MA) ; London, : MIT press, c1989
Descrizione fisica XVI, 224 p. ; 24 cm
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica
ISBN 0262081814
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UFI0139327
Van Hentenryck, Pascal  
Cambridge (MA) ; London, : MIT press, c1989
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Principles and practice of constraint programming - CP 2002 : 8th International conference, CP 2002 : Ithaca, NY, USA, September 9-13, 2002 : proceedings / Pascal Van Hentenryck(ed.)
Principles and practice of constraint programming - CP 2002 : 8th International conference, CP 2002 : Ithaca, NY, USA, September 9-13, 2002 : proceedings / Pascal Van Hentenryck(ed.)
Autore International conference CP 2002 <8. ; 2002 ; Ithaca, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2002
Descrizione fisica XVI, 794 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Congressi - 2002
ISBN 3-540-44120-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001115760203316
International conference CP 2002 <8. ; 2002 ; Ithaca, USA>  
Berlin [etc.] : Springer-Verlag, copyr. 2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Static analysis : 4th International symposium, SAS'97 : Paris, France, September 8-10, 1997 : proceedings / Pascal Van Henternyck (ed.)
Static analysis : 4th International symposium, SAS'97 : Paris, France, September 8-10, 1997 : proceedings / Pascal Van Henternyck (ed.)
Autore International symposium SAS'97 : 4. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica X, 412 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - parigi - 1997
elaboratori elettronici - programmazione - congressi - 1997
ISBN 3-540-63468-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205700203316
International symposium SAS'97 : 4. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui