Constraints meet concurrency / Jacopo Mauro |
Autore | Mauro, Jacopo |
Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
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 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0104374 |
Mauro, Jacopo | ||
Paris, : Atlantis, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constraints meet concurrency / Jacopo Mauro |
Autore | Mauro, Jacopo |
Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
Descrizione fisica | XV, 148 p. : ill. ; 24 cm |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] |
Soggetto non controllato |
Concurrency theory
Constraint Handling Rules Constraint programming Service oriented computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00104374 |
Mauro, Jacopo | ||
Paris, : Atlantis, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|