1991
Report
Titel

Problem-reduction methods and clause splitting in automated theorem proving
Author(s)
Egly, U.
Organisation
TH Darmstadt
Verlag
Verlagsort
Sankt Augustin
Thumbnail Image
Language
English