Вы здесь
Baj F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Practicing AI with the Portable AI Lab | 1993 | Baj F., Cattaneo P., Rosner M. | LISP Pointers | 29.03.1994 | |||
| СТ | Automatic Theorem Proving within the Portable AI Lab | 1992 | Baj F., Rosner M. | Lecture Notes in Artificial Intelligence | 04.10.1992 |