Bernhard Gramlich, Hélène Kirchner, Frank Pfenning. Editorial: Strategies in Automated Deduction. Annals of Mathematics and Artificial Intelligence, 29(1-4), 2000.
No references recorded for this publication.
No citations of this publication recorded.