Automated Reasoning With Analytic Tableaux And Related Methods De Nivelle, Hans

Automated Reasoning with Analytic Tableaux and Related Methods  eBooks & eLearning

Posted by step778 at July 2, 2018

Hans De Nivelle, "Automated Reasoning with Analytic Tableaux and Related Methods"
2015 | pages: 362 | ISBN: 331924311X | PDF | 7,6 mb

Details

Automated Reasoning with Analytic Tableaux and Related Methods (Repost)  eBooks & eLearning

Posted by step778 at July 8, 2020

Hans De Nivelle, "Automated Reasoning with Analytic Tableaux and Related Methods"
English | 2015 | pages: 362 | ISBN: 331924311X | PDF | 7,6 mb

Details