Vai al contenuto principale della pagina
Autore: | Mauro, Jacopo |
Titolo: | Constraints meet concurrency / Jacopo Mauro |
Pubblicazione: | Paris, : Atlantis, 2014 |
Titolo uniforme: | Constraints meet concurrency |
Descrizione fisica: | XV, 148 p. : ill. ; 24 cm |
Soggetto topico: | 68N17 - Logic programming [MSC 2020] |
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] | |
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] | |
Soggetto non controllato: | Concurrency theory |
Constraint Handling Rules | |
Constraint programming | |
Service oriented computing | |
Titolo autorizzato: | Constraints meet concurrency |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0104374 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://dx.doi.org/10.2991/978-94-6239-067-6 |
Opac: | Controlla la disponibilità qui |