00827nkm0-2200289---450-99001002810040332120160114120732.0001002810FED01001002810(Aleph)001002810FED0100100281020160114d1955----km-y0itay50------baitaITfi-b--------------Torrimpietra (Roma)Risorsa graficaMario FondiS. l.s. n.19551 fotografiab/n147 x 103 mmLazioInsediamentiImmaginiFondi,Mario<1923-2012>338678ITUNINARICAUNIMARCGR990010028100403321Scat. Fondi 04 Busta 12(064)Ist. s.i.ILFGEILFGETorrimpietra (Roma)1497033UNINA01436nam0 2200325 i 450 SUN010437420191106094211.8778-94-6239-066-90.00N978-94-6239-067-620151222d2014 |0engc50 baengFR|||| |||||*Constraints meet concurrencyJacopo MauroParis : Atlantis, 2014XV148 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01043642001 *Atlantis Studies in Computing5210 ParisAtlantis2012-.68N17Logic programming [MSC 2020]MFSUNC02058668T20Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]MFSUNC02657868Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]MFSUNC031034ParisSUNL000046Mauro, JacopoSUNV081408721169AtlantisSUNV008721650ITSOL20201026RICAhttp://dx.doi.org/10.2991/978-94-6239-067-6SUN0104374BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4317 15EB 4317 20191106 Constraints meet concurrency1410042UNICAMPANIA