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