Committed-choice logic programming in linear logic

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, 1993, s. 337, 348-337+1. LNCS 713. ISBN 0-387-57184-1.

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

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

---

Návaznosti

MSM 143300003, záměr

Ná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