Publikation
Annotated Reasoning
Dieter Hutter
In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.
Zusammenfassung
Special Issue on Strategies in Automated Deduction
Publikation