MPG.eBooks - Author Search Results

Cover Image

1

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Pirri, Fiora...”

Cover Image

2

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Pirri, Fiora...”

Cover Image

3

Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Pirri, Fiora...”