LEADER 01760nam0 2200385 i 450 
001 VAN00104374
005 20240806100725.917
017 70$2N$a978-94-6239-067-6
100   $a20151222d2014       |0itac50      ba
101   $aeng
102   $aFR
105   $a||||    |||||
200 1 $aConstraints meet concurrency$fJacopo Mauro
210   $aParis$cAtlantis$d2014
215   $aXV, 148 p.$cill.$d24 cm
410  1$1001VAN00104364$12001 $aAtlantis Studies in Computing$1210  $aParis [etc.]$cAtlantis$v5
500  1$3VAN00241494$aConstraints meet concurrency$91410042
606   $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$3VANC031034$2MF
606   $a68T20$xProblem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]$3VANC026578$2MF
610   $aConcurrency theory$9KW:K
610   $aConstraint Handling Rules$9KW:K
610   $aConstraint programming$9KW:K
610   $aService oriented computing$9KW:K
620   $dParis$3VANL000046
700  1$aMauro$bJacopo$3VANV081408$0721169
712   $aAtlantis$3VANV113618$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-067-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15
912   $fN
912   $aVAN00104374
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 4317                      $e15EB 4317              20191106            
996   $aConstraints meet concurrency$91410042
997   $aUNICAMPANIA