ZLATUŠKA, Jiří. Committed-choice logic programming in linear logic. In Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93). 1st ed. New York: Springer, 1993, p. 337, 348-337+1. LNCS 713. ISBN 0-387-57184-1.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Committed-choice logic programming in linear logic
Authors ZLATUŠKA, Jiří.
Edition 1. vyd. New York, Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93), p. 337, 348-337+1, LNCS 713, 1993.
Publisher Springer
Other information
Original language English
Type of outcome Chapter(s) of a specialized book
Field of Study 10000 1. Natural Sciences
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/93:00003676
Organization unit Faculty of Informatics
ISBN 0-387-57184-1
Changed by Changed by: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Changed: 12/1/2000 23:02.
Links
MSM 143300003, plan (intention)Name: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministry of Education, Youth and Sports of the CR, Human-computer interaction, dialog systems and assistive technologies
PrintDisplayed: 25/4/2024 17:22