دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings
by Ryuzo Hasegawa
|
عنوان فارسی: استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX'97 Pont-à -Mousson، فرانسه، 13–16 مه 1997 مجموعه مقالات |