711

منطق علوم کامپیوتر: کارگاه پنجم، CSL ’91 برن، سوئیس، 7 تا 11 اکتبر 1991 مجموعه مقالات

دانلود کتاب Computer Science Logic: 5th Workshop, CSL ’91 Berne, Switzerland, October 7–11, 1991 Proceedings (به فارسی: منطق علوم کامپیوتر: کارگاه پنجم، CSL ’91 برن، سوئیس، 7 تا 11 اکتبر 1991 مجموعه مقالات) نوشته شده توسط «Yaniv Bargury – Johann Makowsky (auth.) – Egon Börger – Gerhard Jäger – Hans Kleine Büning – Michael M. Richter (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: کارگاه پنجم، CSL ’91 برن، سوئیس، 7 تا 11 اکتبر 1991 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Yaniv Bargury – Johann Makowsky (auth.) – Egon Börger – Gerhard Jäger – Hans…