| Record ID | marc_loc_2016/BooksAll.2016.part23.utf8:61989038:834 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part23.utf8:61989038:834?format=raw |
LEADER: 00834nam a2200241 a 4500
001 93223728
003 DLC
005 19941020135121.0
008 931026s1992 gw a b 000 0 ger
010 $a 93223728
020 $a3824420317
040 $aDLC$cDLC
050 00 $aQA76.63$b.H45 1992
100 1 $aHeisel, Maritta.
245 10 $aFormale Programmentwicklung mit dynamischer Logik /$cMaritta Heisel.
260 $aWiesbaden :$bDeutscher Universitätsverlag,$cc1992.
300 $axi, 288 p. :$bill. ;$c21 cm.
500 $aSpine title: Dynamische Logik.
500 $aOriginally presented as the author's thesis (doctoral)--Universität Karlsruhe, 1992.
500 $a"DUV Informatik"--P. [4] of cover.
504 $aIncludes bibliographical references (p. 227-230).
650 0 $aLogic programming.
740 01 $aDynamische Logik.