LEADER 01189nam--2200373---450-
001 990000482640203316
010   $a3-540-55034-8
035   $a0048264
035   $aUSA010048264
035   $a(ALEPH)000048264USA01
035   $a0048264
100   $a20010530d1991----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $a<<A>> resolution principle for a logic with restricted quantifiers$fHans-Jürgen Bürckert
210   $aBerlin$cSpringer-Verlag$dc1991
215   $aX, 116 p.$cill.$d24 cm
225 2 $aLectures notes in artificial intelligence$v568
410   $12001$aLectures notes in artificial intelligence$v568
606 0 $aIntelligenza artificiale
606 0 $aLogica matematica
676   $a006.3
700  1$aBÜRCKERT,$bHans-Jürgen$0545511
801  0$aIT$bsalbc$gISBD
912   $a990000482640203316
951   $a006.3 BÜR$b11329 ING$c006.3
959   $aBK
969   $aTEC
979   $aPATTY$b90$c20010530$lUSA01$h1416
979   $c20020403$lUSA01$h1657
979   $aPATRY$b90$c20040406$lUSA01$h1633
996   $aResolution principle for a logic with restricted quantifiers$9888385
997   $aUNISA