Reasoning about Probabilistic Sequential Programs in a Probabilistic Logic

Вы здесь

Автор:

Ying M.

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

Вид:

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

Год:

2003

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

вероятностный

логика

предикат

Стр.:

P.315-389

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

Bibliogr.: p.387-389

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

Springer

Источник:

Acta Informatica

Номер:

Том:

Карточка:

Б2.13.

Ying M..

Reasoning about Probabilistic Sequential Programs in a Probabilistic Logic: Springer// Acta Informatica-2003, №5.-Vol. 39.-P.315-389
Bibliogr.: p.387-389

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

PAP26 839