9783642413896
IR
EN-15616
انگلیسی
IR
Reactive Kripke Semantics
[Book]
/ Dov M. Gabbay
Springer
, 2013.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
E-BOOK
Dov M. Gabbay
ایران
Reactive Kripke Semantics
عادی
محرمانه
419589.pdf
متن
old catalog
e
BL
1
a
Y
