Repository | Directory | Profile
Christoph Benzmüller
Comparing approaches to resolution based higher-order theorem proving
2002
Synthese 133/1-2
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
Comparing approaches to resolution based higher-order theorem proving
2002
Synthese 133/1-2