دانلود کتاب Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
by Morten Ulrik Sørensen
|
عنوان فارسی: منطق زمانی: اولین کنفرانس بین المللی، ICTL'94 بن، آلمان، 11 تا 14 ژوئیه، 1994 مجموعه مقالات |