کتاب راهنمای روش های تابلو
Handbook of Tableau Methods
نویسنده: Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)
ناشر: Springer Netherlands
سال انتشار: 1999
تعداد صفحات: 671
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 24 مگابایت