ACT-P: A Configurable Theorem-Prover

Вы здесь

Автор:

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

Вид:

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

Год:

1994

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

Стр.:

P.277-296.

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

Bibliogr.: p.295-296.

Источник:

Номер:

Том:

Карточка:

В2.11.

Hatzilygeroudis I., Reichgelt H..

ACT-P: A Configurable Theorem-Prover// Data & Knowledge Engineering-1994, №3.-Vol. 12.-P.277-296.
Bibliogr.: p.295-296.

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

PAP10 782