LEADER 01443nam0 2200337 i 450 001 SUN0114037 005 20180129031815.25 010 $d0.00 017 70$2N$a978-94-017-9855-6 100 $a20180125d2015 |0engc50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $a*Freedom and enforcement in action$ea study in formal action theory$fJanusz Czelakowski 205 $aDordrecht : Springer, 2015 210 $aXV$d261 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 410 1$1001SUN0103150$12001 $a*Trends in logic$estudia logica library$v42$1210 $aBerlin$cSpringer$d1997-. 606 $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670 606 $a68Txx$xArtificial intelligence [MSC 2020]$2MF$3SUNC021266 606 $a68T30$xKnowledge representation [MSC 2020]$2MF$3SUNC023273 606 $a68T27$xLogic in artificial intelligence [MSC 2020]$2MF$3SUNC033812 620 $aNL$dDordrecht$3SUNL000068 700 1$aCzelakowski$b, Janusz$3SUNV087784$0755628 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20210503$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-94-017-9855-6 912 $aSUN0114037 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0207 $e08eMF207 20180125 996 $aFreedom and enforcement in action$91522914 997 $aUNICAMPANIA