Opening book details…
About this scholarly article
Automated Reasoning with Analytic Tableaux and Related Methods Volume 1227 by Galmiche, Didier is a scholarly article available to read on EtoBox.
- Author
- Galmiche, Didier
- Publisher
- Springer Berlin Heidelberg
- Published
- 1997
- Language
- EN