Theory Reasoning in First Order Calculi

Вы здесь

Автор:

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

Вид:

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

Год:

1994

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

Стр.:

P.139-156.

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

Bibliogr.: p.155-156.

Издательство:

Источник:

Том:

777

Карточка:

В2.11.

Furbach U..

Theory Reasoning in First Order Calculi: Springer// Lecture Notes in Computer Science-1994.-Vol. 777.-P.139-156.
Bibliogr.: p.155-156.

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

PAP8 143