دانلود کتاب Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
by Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
|
عنوان فارسی: منطق علوم کامپیوتر: هفتمین کارگاه، CSL '93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب |