A theorem proving associative processor | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1985

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

ассоциативный

процессор

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

дедукция

унификация

Стр.:

73 p.

Место издания:

Номер:

145/85

Карточка:

А3.45, В2.11.

Dilger W., Schneider H..

A theorem proving associative processor-Kaiserslautern., 1985.-73 p.-(Препринт Univ. Kaiserslautern №145/85).

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

PREP1 441