Unification in Commutative Theories, Hilbert s Basis Theorem, and Grobner Bases

Вы здесь

Автор:

Baader F.

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

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1990

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

унификация

Стр.:

24 p.

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

Bibliogr.: p.23-24

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

Kaiserslautern

Серия:

Lecture Notes in Artificial Intelligence

Номер:

SR-90-01

Карточка:

В2.11.

Baader F..

Unification in Commutative Theories, Hilbert s Basis Theorem, and Grobner Bases-Kaiserslautern., 1990.-24 p.-(Препринт Univ. Kaiserslautern №SR-90-01).-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.23-24

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

PREP2 516