Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:6902422:781 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:6902422:781?format=raw |
LEADER: 00781cam a22001937a 4500
001 88156054
003 DLC
005 19920501112459.2
008 880630s1986 hu a 000 0 eng
010 $a 88156054 //r92$z 87420070
020 $a9633112214
040 $aDLC$cDLC$dDLC
050 00 $aMLCM 92/01495 (Q)
100 10 $aMárkusz, Zsuzsanna.
245 10 $aPapers on many-sorted logic as a tool for modelling /$cZsuzsanna Márkusz.
260 0 $a[Budapest] :$bComputer and Automation Institute, Hungarian Academy of Sciences,$c1986.
300 $a68 p. :$bill. ;$c29 cm.
490 1 $aStudies,$x0324-2951 ;$v192/1986 =$aTanulmányok ;$v192/1986
830 0 $aTanulmányok (Magyar Tudományos Akadémia. Számítástechnikai és Automatizálási Kutatóintézet) ;$v1986/192.