دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
by V. Michele Abrusci (auth.)
|
عنوان فارسی: استدلال خودکار با تحلیلی تابلو و روش های مرتبط: کنفرانس بین المللی، تابلو سال 2003، رم، ایتالیا، سپتامبر 2003. مجموعه مقالات |