
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
فرمت کتاب
computer file
زبان
english
تاریخ انتشار
2019
نویسنده
Serenella Cerrito; Andreiشابک
9783030290269
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران