Вы здесь
Li Dafa.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Application to Teaching in Logic Course of ATP Based on Natural Deduction | 1992 | Li Dafa. | Lecture Notes in Artificial Intelligence | 11.08.1992 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Application to Teaching in Logic Course of ATP Based on Natural Deduction | 1992 | Li Dafa. | Lecture Notes in Artificial Intelligence | 11.08.1992 |