عنوان
پدید آورنده
موضوع
رده
QA 10 .D73 2010
QA
10
.
D73
2010
کتابخانه
محل استقرار
85771
Doberkat, Ernst Erich
Stochastic coalgebraic logic
New York
Springer
2009
xv, 231 p.: ill.
Monographs in theoretical computer science. an eatcs series; 677
Includes bibliographical references )p. 219-223( and index
Ernst-Erich Doberkat
، Algebraic logic
، Modality )Logic(
، Stochastic processes
، Algebra, Universal
، Borel sets
QA
10
.
D73
2010
AU
TI
SE
یاضه ریه دانشکدانابخکت
