Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Comparing approaches to resolution based higher-order theorem proving
2002
Christoph Benzmüller
Synthese 133/1-2