شماره ركورد
13080
شماره مدرك
4363179
نويسنده/تنالگان
Hans de Nivelle
عنوان
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319243115
Link To Document