Adapting Methods to Novel Tasks in Proof Planning

Вы здесь

Автор:

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

Вид:

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

Год:

1994

Стр.:

P.379-390.

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

Bibliogr.: p.390.

Источник:

Том:

861

Карточка:

В2.11, В2.12.

Huang X., Kerber M., Kohlhase M., Richts J..

Adapting Methods to Novel Tasks in Proof Planning// Lecture Notes in Artificial Intelligence-1994.-Vol. 861.-P.379-390.
Bibliogr.: p.390.

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

PAP9 898