| Record ID | ia:nonstandardlogic0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/nonstandardlogic0000unse/nonstandardlogic0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/nonstandardlogic0000unse/nonstandardlogic0000unse_meta.mrc |
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.