دانلود کتاب Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
by Sergei Artemov
|
عنوان فارسی: مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS'97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات |