دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
زبان : English
نویسندگان : Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1999
ISBN (شابک) : 3540664637, 9783540664635
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1690
تعداد صفحات : 364[362]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان