Počet záznamů: 1
Systémy dynamické logiky a programování
- 1.0403447 - UIVT-O 200971 CS1 cze C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr - Kalášek, P. - Kůrka, P.
Systémy dynamické logiky a programování.
SOFSEM'79. Zborník referátov. Bratislava: VVS, 1979 - (Gruska, J.), s. 79-107
[SOFSEM'79 /6./. Labská bouda-Krkonoše (CS), 25.11.1979-07.12.1979]
Trvalý link: http://hdl.handle.net/11104/0123754
Počet záznamů: 1