Вы здесь

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