Вы здесь
Foo N.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Deduced Relevant Types and Constractive Negation | 1988 | Foo N., Rao A., Taylor A., Walker A. | Logic Programming: Proc./Fifth Intern. Conf. and Symp. | 29.09.1994 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | PRICAI 96: Topics in Artificial Intellogence: Proc./4th Pacific Rim International Conference on Artificial Intelligence. Cairns,Australia,August 1996 | 1996 | Lecture Notes in Artificial Intelligence |
|
20.09.1996 | |||
СБ | Advanced Topics in Artificial Intelligence: Proc./12th Australian Joint Conf. on Artificial Intelligence, AI 99. Sydney, Australia, December 1999 | 1999 | Lecture Notes in Artificial Intelligence |
|
25.12.1999 |