دانلود کتاب Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers



زبان : English

نویسندگان : Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1993

ISBN (شابک) : 3540569928, 9783540569923

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 702

تعداد صفحات : 439[448]

حجم : 4 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان