دانلود کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
زبان : English
نویسندگان : Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1989
ISBN (شابک) : 354051659X, 9783540516590
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 385
تعداد صفحات : 404
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان