| Record ID | harvard_bibliographic_metadata/ab.bib.10.20150123.full.mrc:573045061:613 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.10.20150123.full.mrc:573045061:613?format=raw |
LEADER: 00613cam a2200193Mi 4504
001 010764869-5
005 20070803213228.0
008 930524s1992 gw 000 0 ger d
035 $a(Crl)b19497210
035 0 $aocm46234818
040 $aZXW$bger$cZXW$dOCLCQ$dCRL$dMH
100 1 $aDix, J.$q(Jürgen),$d1961-
245 10 $aNichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme /$cvon Jürgen Dix.
260 $c1992.
300 $ax, 193 S :$bgraph. Darst.
502 $aThesis (doctoral)--Universität Karlsruhe, 1992.
710 2 $aUniversität Karlsruhe.
988 $a20070803
906 $0OCLC