LEADER 02194nam0 22005533i 450 001 VAN00296341 005 20250923115625.411 017 70$2N$a9789400903494 100 $a20250709d1996 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aFrontiers of Combining Systems$eFirst International Workshop, Munich, March 1996$fedited by Frans Baader and Klaus U. Schulz 210 $aDordrecht$cSpringer$cKluwer$d1996 215 $axi, 338 p.$d24 cm 410 1$1001VAN00296331$12001 $aApplied Logic Series$1210 $aDordrecht$cKluwer$d1996$v3 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 610 $aAlgorithms$9KW:K 610 $aArtificial Intelligence$9KW:K 610 $aAutomated deduction$9KW:K 610 $aClassifications$9KW:K 610 $aCommunications$9KW:K 610 $aComplexity$9KW:K 610 $aComputer Science$9KW:K 610 $aComputer algebra$9KW:K 610 $aLogic$9KW:K 610 $aModeling$9KW:K 610 $aMulti-agent systems$9KW:K 610 $aProgramming$9KW:K 610 $aProving$9KW:K 610 $aSemantics$9KW:K 620 $aNL$dDordrecht$3VANL000068 702 1$aBaader$bFrans$3VANV252174$4340 702 1$aSchulz$bKlaus U.$3VANV252175$4340 712 $aKluwer $3VANV108116$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250926$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-009-0349-4$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 $aVAN00296341 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12131 $e08eMF12131 20250924 996 $aFrontiers of Combining Systems$92555154 997 $aUNICAMPANIA