Marta Cialdea Mayer

Marta Cialdea Mayer

2 ספרים במאגר

ספרים

Automated Reasoning With Analytic Tableaux and Related MethodsMarta Cialdea Mayer

Automated Reasoning With Analytic Tableaux and Related Methods

Marta Cialdea Mayer · 2003

Automated Reasoning with Analytic Tableaux and Related MethodsMarta Cialdea Mayer

Automated Reasoning with Analytic Tableaux and Related Methods

Marta Cialdea Mayer · 2006