Вы здесь
Kowalski R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Variants of the Event Calculus | 1995 | Sadri F., Kowalski R. | Logic Programming: Proc. of the Twelfth Intern. Conf. | 26.04.1996 | |||
| СТ | Theory and Practice in Logic Programming | 1992 | Kowalski R. | Lecture Notes in Artificial Intelligence | 02.10.1992 | |||
| СТ | A Proposal for an Undergraduate Degree in the Users of Logic | 1990 | Kowalski R. | Lecture Notes in Artificial Intelligence | 06.02.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | TAPSOFT '87: Proc./International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 Vol. 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specification (CFLP) | 1987 | Lecture Notes in Computer Science |
|
19.03.1987 | |||
| СБ | TAPSOFT '87: Proc./International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 Vol. 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) | 1987 | Lecture Notes in Computer Science |
|
17.03.1987 |