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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|