LEADER 01363nam2-2200409li-450 001 990000200770203316 005 20180312154724.0 010 $a3-540-57604-5 035 $a0020077 035 $aUSA010020077 035 $a(ALEPH)000020077USA01 035 $a0020077 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aVivid logic$eknowledge-based reasoning with twokinds of negation$fGerd Wagner 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $aXII, 148 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v764 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $alogica matematica 610 1 $alogica simbolica 676 $a005131$9Logica matematica (Logica simbolica) 700 1$aWagner,$bGerd$0714614 801 $aSistema bibliotecario di Ateneo dell' Universitą di Salerno$gRICA 912 $a990000200770203316 951 $a006.3 LNIA (764)$b0015929$c006.3$d00106618 959 $aBK 969 $aSCI 979 $c19990201 979 $c20001110$lUSA01$h1713 979 $aALANDI$b90$c20010328$lUSA01$h1743 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1614 996 $aVivid logic$91381946 997 $aUNISA LEADER 02063nas 2200601- 450 001 9910141825403321 005 20210914213022.0 011 $a1929-6371 035 $a(DE-599)ZDB2733705-4 035 $a(OCoLC)852382250 035 $a(CKB)2670000000409741 035 $a(CONSER)--2014247537 035 $a(EXLCZ)992670000000409741 100 $a20120912a20129999 s-- - 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAECL nuclear review 210 1$a[Chalk River] :$c[Atomic Energy of Canada Limited],$d2012- 210 4$d©2012 215 $a1 online resource 300 $aRefereed/Peer-reviewed 300 $a"Canada's nuclear science and technology journal." 311 08$a1929-8056 517 3 $aAtomic Energy of Canada Limited nuclear review 606 $aNuclear energy$vPeriodicals 606 $aNuclear chemistry$vPeriodicals 606 $aNuclear engineering$vPeriodicals 606 $aNuclear energy$xSafety measures$vPeriodicals 606 $aNuclear industry$xSecurity measures$vPeriodicals 606 $aNuclear chemistry$2fast$3(OCoLC)fst01039908 606 $aNuclear energy$2fast$3(OCoLC)fst01039951 606 $aNuclear energy$xSafety measures$2fast$3(OCoLC)fst01040013 606 $aNuclear engineering$2fast$3(OCoLC)fst01040032 606 $aNuclear industry$xSecurity measures$2fast$3(OCoLC)fst01040313 608 $aPeriodicals.$2fast 615 0$aNuclear energy 615 0$aNuclear chemistry 615 0$aNuclear engineering 615 0$aNuclear energy$xSafety measures 615 0$aNuclear industry$xSecurity measures 615 7$aNuclear chemistry. 615 7$aNuclear energy. 615 7$aNuclear energy$xSafety measures. 615 7$aNuclear engineering. 615 7$aNuclear industry$xSecurity measures. 712 02$aAtomic Energy of Canada Limited. 906 $aJOURNAL 912 $a9910141825403321 996 $aAECL nuclear review$91991476 997 $aUNINA