Specifying Real Numbers in CASL

Вы здесь

Автор:

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

Вид:

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

Год:

2000

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

Стр.:

P.146-161

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

Bibliogr.: p.160-161

Издательство:

Источник:

Том:

1827

Карточка:

Б3.51, Б2.24.

Roggenbach M., Schroder L., Mossakowski T..

Specifying Real Numbers in CASL: Springer// Lecture Notes in Computer Science-2000.-Vol. 1827.-P.146-161
Bibliogr.: p.160-161

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

PAP22 1