Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1990

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

логический

программирование

доказательство

расширение

Стр.:

P.223-244.

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

Bibliogr.: p.243-244

Источник:

Lecture Notes in Artificial Intelligence

Том:

475

Карточка:

Б3.14, В2.11.

Gunter E..

Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover// Lecture Notes in Artificial Intelligence-1990.-Vol. 475.-P.223-244.
Bibliogr.: p.243-244

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

PAP1 302