Computer Algebra Meets Computer Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1996

Стр.:

18 p.

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

Bibliogr.: p.13-14

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

Номер:

MIP-9603

Карточка:

Б4.14, Б4.23.

Dolzmann A., Sturm Th..

Computer Algebra Meets Computer Logic-Passau., 1996.-18 p.-(Препринт Univ.Passau №MIP-9603).
Bibliogr.: p.13-14

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

PREP2 317