Вы здесь
Zlatuska J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Transforming Specifications of Observable Behaviour into Programs | 1994 | Gilbert D., Hogger C., Zlatuska J. | Lecture Notes in Computer Science | 12.01.1995 | |||
| СТ | Linear Logic Semantics for Concurrent Prolog | 1994 | Zlatuska J. | Lecture Notes in Artificial Intelligence | 01.07.1994 | |||
| СТ | Committed-Choice Concurrent Logic Programming in Linear Logic | 1993 | Zlatuska J. | Lecture Notes in Computer Science | 21.09.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Mathematical Foundations of Computer Science 1998: Proc./23rd Intern. Symp., MFCS 98. Brno, Czech Republic, August 1998 | 1998 | Lecture Notes in Computer Science |
|
02.09.1998 |