| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:141489185:648 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:141489185:648?format=raw |
LEADER: 00648nam a2200205 a 4500
001 89114991
003 DLC
005 19910718123500.3
008 890216s1988 enka b 00100 eng
010 $a 89114991
020 $a0126495203
040 $aDLC$cDLC$dDLC
050 00 $aQA9.4$b.N65 1988
082 00 $a511.3$220
245 00 $aNon-standard logics for automated reasoning /$cedited by Philippe Smets ... [et al.].
260 0 $aLondon ;$aSan Diego :$bAcademic Press,$c1988.
300 $ax, 334 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references and index.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aSmets, Philippe.