Další formáty:
BibTeX
LaTeX
RIS
@inbook{190055, author = {Zlatuška, Jiří}, address = {New York}, booktitle = {Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93)}, edition = {1.}, language = {eng}, location = {New York}, isbn = {0-387-57184-1}, pages = {337}, publisher = {Springer}, title = {Committed-choice logic programming in linear logic}, year = {1993} }
TY - CHAP ID - 190055 AU - Zlatuška, Jiří PY - 1993 TI - Committed-choice logic programming in linear logic VL - LNCS 713 PB - Springer CY - New York SN - 0387571841 ER -
ZLATUŠKA, Jiří. Committed-choice logic programming in linear logic. In \textit{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.
|