| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:102251796:1060 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:102251796:1060?format=raw |
LEADER: 01060cam a2200265 a 4500
001 89021790
003 DLC
005 20111222093423.0
008 890821s1989 gw b 001 0 eng
010 $a 89021790
020 $a0387517057 (U.S. : alk. paper) :$cDM33.00 (West Germany)
040 $aDLC$cDLC$dDLC
050 00 $aQA9$b.S343 1989
082 00 $a511.3$220
100 1 $aSchmidt-Schauss, Manfred,$d1953-
245 10 $aComputational aspects of an order-sorted logic with term declarations /$cM. Schmidt-Schauss.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1989.
300 $aviii, 171 p. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v395.$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aSorting (Electronic computers)
740 0 $aOrder-sorted logic with term declarations.
830 0 $aLecture notes in computer science ;$v395.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.