دانلود کتاب Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings



زبان : English

نویسندگان : Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1996

ISBN (شابک) : 3540612084, 9783540612087

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

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

تعداد صفحات : 336[341]

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

فرمت کتاب : djvu

قیمت : 36000 تومان