Constraint satisfaction in logic programming / Pascal Van Hentenryck

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Autore:	Van Hentenryck, Pascal
Titolo:	Constraint satisfaction in logic programming / Pascal Van Hentenryck
Pubblicazione:	Cambridge (MA) ; London, : MIT press, c1989
Descrizione fisica:	XVI, 224 p. ; 24 cm
Disciplina:	005.1
	005.115
Soggetto topico:	Programmazione logica
Note generali:	Bibliografia: P. [211]-220.
Titolo autorizzato:	Constraint satisfaction in logic programming
ISBN:	0262081814
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	UFI0139327
Lo trovi qui:	Univ. del Sannio
Collocazione:	SALA DING 005.1 HEN.co
Opac:	Controlla la disponibilità qui

Serie: Logic programming

Documenti simili

Extensions of logic programming : 4. international workshop, ELP '93 : St. Andrews, U.K., March 29 - April 1, 1993 : proceedings / Roy Dyckhoff (ed.) International workshop ELP '93 : <4. : ; 1993
Logic programming and automated reasoning : 5. international conference, LPAR '94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) International conference LPAR '94 : <5. : ; 1994
Logic programming and automated reasoning : 4. international conference, LPAR '93 : St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.) International conference on logic programming and automated reasoning : <4. : ; 1993
Logic program synthesis and transformation : proceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992 / Kung-Kiu Lau and Tim Clement, Eds. ; sponsored by the Association for logic programming and ALPUK International workshop on logic program synthesis and transformation : <1992
Logic program synthesis and transformation : proceedings of LOPSTR 91, International workshop on logic program synthesis and transformation, University of Manchester, 4-5 July 1991 / T. P. Clement and K.-K. Lau, Eds. ; sponsored by the Association for logic programming and ALPUK International workshop on logic program synthesis and transformation : <1991

Extensions of logic programming : 4. international workshop, ELP '93 : St. Andrews, U.K., March 29 - April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
International workshop ELP '93 : <4. : ; 1993

Logic programming and automated reasoning : 5. international conference, LPAR '94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
International conference LPAR '94 : <5. : ; 1994

Logic programming and automated reasoning : 4. international conference, LPAR '93 : St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
International conference on logic programming and automated reasoning : <4. : ; 1993

Logic program synthesis and transformation : proceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992 / Kung-Kiu Lau and Tim Clement, Eds. ; sponsored by the Association for logic programming and ALPUK
International workshop on logic program synthesis and transformation : <1992

Logic program synthesis and transformation : proceedings of LOPSTR 91, International workshop on logic program synthesis and transformation, University of Manchester, 4-5 July 1991 / T. P. Clement and K.-K. Lau, Eds. ; sponsored by the Association for logic programming and ALPUK
International workshop on logic program synthesis and transformation : <1991

1 2 3 4 5 6 7 8 9 10 11 12 13 ... > >>