00884nam a2200265 i 450099100090147970753620020507175523.0981211s1968 de ||| | eng b10773241-39ule_instLE01304055ExLDip.to Matematicaeng512.4AMS 13F25Frohlich, Albrecht55747Formal groups /A. FrohlichBerlin :Springer-Verlag,1968140 p. ;27 cm.Lecture notes in mathematics,0075-8434 ;74Formal groups.b1077324123-02-1728-06-02991000901479707536LE013 13F FRO11 (1968)12013000105550le013-E0.00-l- 00000.i1087185828-06-02Formal groups83170UNISALENTOle01301-01-98ma -engde 0101756nam0 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