Bridging theorem proving and mathematical knowledge retrieval

C Benzmuller, A Meier, Volker Sorge, D Hutter, W Stephan

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationMechanizing Mathematical Reasoning: Essays in Honor of Jorg H Siekmann on the Occasion of His 60th Birthday
Publication statusPublished - 1 Jan 2005

Publication series

NameLecture Notes in Artificial Intelligence

Cite this