Cláudia Nalon

ספרים שבהם Cláudia Nalon מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Reasoning with Analytic Tableaux and Related MethodsRenate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt · 2017