Repository | Directory | Profile

156166

Christoph Benzmüller

Bibliography ¹

Comparing approaches to resolution based higher-order theorem proving

2002

Christoph Benzmüller

Synthese 133/1-2

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009