LEADER 02416nam0 2200565 i 450 001 VAN0103165 005 20220214113903.495 017 70$2N$a978-3-319-00792-2 100 $a20151026d2014 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aAdaptive logics for defeasible reasoning$eapplications in argumentation, normative reasoning and default reasoning$fChristian Straßer 210 $aCham$cSpringer$d2014 215 $aXVIII, 438 p.$d24 cm 410 1$1001VAN0103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v38 500 1$3VAN0240288$aAdaptive logics for defeasible reasoning$91410181 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a03B80$xOther applications of logic [MSC 2020]$3VANC031181$2MF 610 $aAbnormality-based reasoning$9KW:K 610 $aAbstract argumentation$9KW:K 610 $aAdaptive logic$9KW:K 610 $aConditional logics of normality$9KW:K 610 $aDefault logic$9KW:K 610 $aDefeasible modus ponens$9KW:K 610 $aDefeasible reasoning$9KW:K 610 $aDeontic conflicts$9KW:K 610 $aDeontic logic$9KW:K 610 $aDeontic paradox$9KW:K 610 $aDiachronic defeasibility$9KW:K 610 $aDynamic proofs$9KW:K 610 $aNonmonotonic logic$9KW:K 610 $aPlausible reasoning$9KW:K 610 $aPreference semantics$9KW:K 610 $aReasoning on the basis of uncertainty$9KW:K 610 $aSelection semantics$9KW:K 610 $aStandard format for adaptive logics$9KW:K 610 $aSynchronic defeasibility$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aStraßer$bChristian$3VANV080503$0721667 712 $aSpringer $3VANV108073$4650 790 1$aStrasser, Christian$zStraßer, Christian$3VANV080509 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-00792-2$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 $aVAN0103165 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4791 $e15EB 4791 20191107 996 $aAdaptive logics for defeasible reasoning$91410181 997 $aUNICAMPANIA LEADER 01607nam0 22004093i 450 001 VAN00292716 005 20250513093739.222 017 70$2N$a9781461208495 100 $a20250513d1994 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aConcurrent Scientific Computing$fEric F. Van de Velde 210 $aNew York$cSpringer-Verlag$d1994 215 $axix, 328 p.$cill.$d24 cm 410 1$1001VAN00033353$12001 $aTexts in applied mathematics$1210 $aNew York [etc.]$cSpringer$d1988-$v16 606 $a65-XX$xNumerical analysis [MSC 2020]$3VANC019772$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 610 $aCalculus$9KW:K 610 $aConcurrency$9KW:K 610 $aNumerical methods$9KW:K 610 $aProgramming$9KW:K 610 $aScientific Computing$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$avan de Velde$bEric F.$3VANV025199$060602 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250926$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-0849-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00292716 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 11674 $e08eMF11674 20250630 996 $aConcurrent scientific computing$933629 997 $aUNICAMPANIA