  |
Items where Author is "Márkusz, Zsuzsanna"
Group by: Item Type | No Grouping Jump to: Book Number of items: 6. BookMárkusz, Zsuzsanna and Márkus, Gábor (1988) Logic puzzles and logic programming : 1. Tanulmányok (MTA SZTAKI) (207). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-249-4 ; Össz.: 963-311-273-7 Márkusz, Zsuzsanna (1986) Papers on many-sorted logic as a tool for modelling. Tanulmányok (MTA SZTAKI) (192). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-221-4 Márkusz, Zsuzsanna (1983) Modellelméleti és univerzális algebrai eszközök a természetes és formális nyelvek szemantikaelméletében. Tanulmányok (MTA SZTAKI) (143). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-152-8 Márkusz, Zsuzsanna (1983) On first order many-sorted logic. Tanulmányok (MTA SZTAKI) (151). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-167-6 Márkusz, Zsuzsanna (1981) Intelligens interaktív rendszerek elvi problémái. Tanulmányok (MTA SZTAKI) (123). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-120-X Márkusz, Zsuzsanna (1981) Logikai alapú programozási módszerek és alkalmazásaik számítógéppel segített építészeti tervezési feladatok megoldásához. Tanulmányok (MTA SZTAKI) (124). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-121-8 |
