Вы здесь
Bundy A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | The Boole Lecture: A Very Mathematical Dilemma | 2006 | Bundy A. | The Computer Journal | 02.09.2006 | |||
| СТ | An Editor for Helping Novices to Learn Standard ML | 1997 | Whittle J., Bundy A., Lowe H. | Lecture Notes in Computer Science | 05.09.1997 | |||
| СТ | A Broader Interpertation of Logic in Logic Programming | 1988 | Bundy A. | Logic Programming: Proc./Fifth Intern. Conf. and Symp. | 17.10.1994 | |||
| СТ | Tutorial Notes: Reasoning about Logic Programs | 1992 | Bundy A. | Lecture Notes in Artificial Intelligence | 04.10.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Deduction - CADE-12: Proc./12th Intern. Conf. on Automated Deduction. Nancy, France, June-July 1994 | 1994 | Lecture Notes in Artificial Intelligence |
|
20.07.1994 |