01756nam0 2200385 i 450 VAN010437420220224020846.838N978-94-6239-067-620151222d2014 |0itac50 baengFR|||| |||||Constraints meet concurrencyJacopo MauroParisAtlantis2014XV, 148 p.ill.24 cm001VAN01043642001 Atlantis Studies in Computing210 Paris [etc.]Atlantis5VAN0241494Constraints meet concurrency141004268N17Logic programming [MSC 2020]VANC020586MF68T20Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]VANC026578MF68Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]VANC031034MFConcurrency theoryKW:KConstraint Handling RulesKW:KConstraint programmingKW:KService oriented computingKW:KParisVANL000046MauroJacopoVANV081408721169AtlantisVANV113618650ITSOL20230616RICAhttp://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 SBAVAN15NVAN0104374BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4317 15EB 4317 20191106 Constraints meet concurrency1410042UNICAMPANIA