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.
Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher
Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher
Creatore [Frühwirth, Thom]
Estensione 1 online resource (ix, 147 pages).
Disciplina 005.13
Accesso persona Abdennadher, Slim
Genere/Forma Electronic books
ISBN 9783662051382
3662051389
9783642087127
3642087124
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules -- Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Non-linear Equations I -- Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling -- Part IV. Appendix: Foundations from Logic; List of Figures; References; Index.
Record Nr. NYU-004641767
[Frühwirth, Thom]  
Materiale a stampa
Lo trovi qui: New York University
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Frühwirth
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Frühwirth
Creatore [Hutchison, David]
Accesso persona Frühwirth, Thom
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Schrijvers, Tom.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Accesso ente SpringerLink (Online service)
ISBN 9783540922438
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-8942420
[Hutchison, David]  
Risorse elettroniche
Lo trovi qui: Yale University
KI 2004: Advances in Artificial Intelligence [electronic resource] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / by Susanne Biundo, Thom Frühwirth, Günther Palm
KI 2004: Advances in Artificial Intelligence [electronic resource] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / by Susanne Biundo, Thom Frühwirth, Günther Palm
Creatore [Biundo, Susanne]
Accesso persona Frühwirth, Thom
Palm, Günther
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540231660
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354486
[Biundo, Susanne]  
Software
Lo trovi qui: University of Chicago