Marta Cialdea Mayer

Marta Cialdea Mayer

2 books in the database

Books

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