Вы здесь
Automated Deduction in Equational Logic and Cubic Curves
Количество экземпляров:
1
Вид:
Монография
Год:
1996
Ключевые слова:
Стр.:
231 p.
Библиография:
Bibliogr.: p.219-223
Место издания:
Издательство:
Том:
1095
Карточка:
В2.11, Б2.1, Б4.32.
Mccune W., Padmanabhan R..
Automated Deduction in Equational Logic and Cubic Curves-Berlin, Heidelberg.: Springer, 1996.-Vol. 1095.-231 p.-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.219-223
Таблица в старой библиотеке:
MONO2 81