ZLATUŠKA, Jiří. Committed-choice logic programming in linear logic. In Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93). 1. vyd. New York: Springer. s. 337, 348-337+1. LNCS 713. ISBN 0-387-57184-1. 1993.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Committed-choice logic programming in linear logic
Autoři ZLATUŠKA, Jiří.
Vydání 1. vyd. New York, Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93), od s. 337, 348-337+1, LNCS 713, 1993.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor 10000 1. Natural Sciences
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/93:00003676
Organizační jednotka Fakulta informatiky
ISBN 0-387-57184-1
Změnil Změnil: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Změněno: 12. 1. 2000 23:02.
Návaznosti
MSM 143300003, záměrNázev: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interakce člověka s počítačem, dialogové systémy a asistivní technologie
VytisknoutZobrazeno: 29. 3. 2024 07:52