Automatic Theorem Proving within the Portable AI Lab | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1992

Ключевые слова:

искусственный интеллект

интегрированный

окружение

обучение

Стр.:

P.313-324.

Библиография:

Bibliogr.: p.322-324.

Источник:

Lecture Notes in Artificial Intelligence

Том:

636

Карточка:

В5.42, В2.11.

Baj F., Rosner M..

Automatic Theorem Proving within the Portable AI Lab// Lecture Notes in Artificial Intelligence-1992.-Vol. 636.-P.313-324.
Bibliogr.: p.322-324.

Таблица в старой библиотеке:

PAP4 325