LEADER 01436nam0 2200325 i 450 
001 SUN0104374
005 20191106094211.877
010   $a8-94-6239-066-9$d0.00
017 70$2N$a978-94-6239-067-6
100   $a20151222d2014       |0engc50      ba
101   $aeng
102   $aFR
105   $a||||    |||||
200 1 $a*Constraints meet concurrency$fJacopo Mauro
205   $aParis : Atlantis, 2014
210   $aXV$d148 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0104364$12001 $a*Atlantis Studies in Computing$v5$1210  $aParis$cAtlantis$d2012-.
606   $a68N17$xLogic programming [MSC 2020]$2MF$3SUNC020586
606   $a68T20$xProblem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]$2MF$3SUNC026578
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$2MF$3SUNC031034
620   $dParis$3SUNL000046
700  1$aMauro$b, Jacopo$3SUNV081408$0721169
712   $aAtlantis$3SUNV008721$4650
801   $aIT$bSOL$c20201026$gRICA
856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-067-6
912   $aSUN0104374
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 4317                      $e15EB 4317              20191106            
996   $aConstraints meet concurrency$91410042
997   $aUNICAMPANIA