دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings



زبان : English

نویسندگان : Ryuzo Hasegawa, Hiroshi Fujita (auth.), Didier Galmiche (eds.)

ناشر : Springer Berlin Heidelberg

سال انتشار : 1997

ISBN (شابک) : 3540629203, 9783540629207

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

سری : Lecture Notes in Computer Science 1227 : Lecture Notes in Artificial Intelligence

تعداد صفحات : XII, 380 p.[385]

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

فرمت کتاب : djvu

قیمت : 36000 تومان