1991
Report
Titel

Perspectives on automated deduction
Author(s)
Bibel, W.
Organisation
TH Darmstadt
Verlag
Verlagsort
Sankt Augustin
Thumbnail Image
Language
English