دانلود کتاب Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
محدودیت ها در منطق محاسباتی: تئوری و برنامه ها مدرسه تابستانی بین المللی ، CCL ’99 Gif-sur-Yvette ، فرانسه ، 5 تا 8 سپتامبر ، سخنرانی های تجدید نظر شده 1999
زبان : English
نویسندگان : Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 3540419500, 9783540419501
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2002
تعداد صفحات : 316[320]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان