Вы здесь
Smaill A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Proof Environment for Arithmetic with the Omega Rule | 1995 | Baker S., Smaill A. | Lecture Notes in Computer Science | Integrating Symbolic Mathematical Computation and Artificial Intelligence | 27.09.1995 | ||
| СТ | An Algebraic Semantics of Prolog Program Termination | 1991 | Ross B. J., Smaill A. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Music and Artificial Intelligence: Proc./Second Intern. Conf., ICMAI 2002, Edinburgh, Scotland, UK, September 2002 | 2002 | Lecture Notes in Artificial Intelligence |
|
03.10.2002 |