A Proof Procedure Based on Recomputation-Free Lemmatization | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

вычислительный

дедуктивный

база данных

Стр.:

P.257-273.

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

Bibliogr.: p.272-273.

Источник:

Computers and Artificial Intelligence

Номер:

2-3

Том:

13

Карточка:

Б5.21, В2.11.

Azevedo P. J., Sergot M. J..

A Proof Procedure Based on Recomputation-Free Lemmatization// Computers and Artificial Intelligence-1994, №2-3.-Vol. 13.-P.257-273.
Bibliogr.: p.272-273.

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

PAP9 153