prof. RNDr. Jiří Zlatuška, CSc.
profesor – Katedra teorie programování
kancelář: C326
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 8073 |
|---|
Počet publikací: 81
1989
-
Od logiky k logickému programování
Sb. SOFSEM 89, rok: 1989
1988
-
Kancelářský datový systém SIRAEL
Mechanizace a automatizace administrativy, rok: 1988, ročník: 1
1986
-
Data Bases and the Lambda Calculus
Proc. 10th IFIP World Computer Congres, rok: 1986
-
Datový model HIT po pěti letech
Proc. SOFSEM 86, rok: 1986
-
Logická analýza přirozeného jazyka
Rok: 1986, vydání: Vyd. první, počet stran: 145 s.
-
SIRAEL - disketový systém pro práci s daty
Informačné systémy, rok: 1986, ročník: 2
1985
-
HIT Data Model. Data Bases from the Functional Point of View
Proceedings of 11th International Conference on Very Large Data Bases, rok: 1985
-
Keeping integrity in the HIT data base model.
Scripta Facultatis Scientiarum Naturalium Universitatis Purkynianae Brunensis - Mathematica, rok: 1985, ročník: 15, vydání: 4
-
Lambda kalkul
Proc. SOFSEM 85, rok: 1985
-
Normal forms in the typed lambda-calculus with tuple types.
Kybernetika, rok: 1985, ročník: 21, vydání: 5