01760nam0 2200385 i 450 VAN0010437420240806100725.917N978-94-6239-067-620151222d2014 |0itac50 baengFR|||| |||||Constraints meet concurrencyJacopo MauroParisAtlantis2014XV, 148 p.ill.24 cm001VAN001043642001 Atlantis Studies in Computing210 Paris [etc.]Atlantis5VAN00241494Constraints meet concurrency141004268N17Logic programming [MSC 2020]VANC020586MF68Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]VANC031034MF68T20Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]VANC026578MFConcurrency theoryKW:KConstraint Handling RulesKW:KConstraint programmingKW:KService oriented computingKW:KParisVANL000046MauroJacopoVANV081408721169AtlantisVANV113618650ITSOL20240906RICAhttp://dx.doi.org/10.2991/978-94-6239-067-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00104374BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4317 15EB 4317 20191106 Constraints meet concurrency1410042UNICAMPANIA