1991
Report
Title

Perspectives on automated deduction

Author(s)
Bibel, W.
Corporate Author
TH Darmstadt
Publisher
Publishing Place
Sankt Augustin
Language
English