Christoph Benzmüller
Author detail
6 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL7959619A
Overview
Catalog identity and bibliographic footprint for this author.
6 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryK2
KI 2019 : Advances in Artificial Intelligence
cover - Image source: Open LibraryRA
Rules and Reasoning
cover - Image source: Open LibraryIC
Intelligent Computer Mathematics
cover - LALogic and ArgumentationChristoph Benzmüller
Logic and Argumentation
no cover - WDWiderlegung des ReduktionismusChristoph Benzmüller
Widerlegung des Reduktionismus
no cover - RIReasoning in simple type theoryChristoph Benzmüller
Reasoning in simple type theory
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.