Reasoning over Networks by Symbolic Methods | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1997

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

символьный

Стр.:

27 p.

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

Bibliogr.: p.18-21

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

Номер:

MIP-9719

Карточка:

Б4.21.

Sturm Th..

Reasoning over Networks by Symbolic Methods-Passau., 1997.-27 p.-(Препринт Univ.Passau №MIP-9719).
Bibliogr.: p.18-21

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

PREP2 548