Searching for "Omega Towards a Mathematical Assistant." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

OMEGA: Towards a Mathematical Assistant
by Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg Siekmann, Volker Sorge — 1997 — Proceedings of the 14th Conference on Automated Deduction, number 1249 in LNAI
…\Omega mega: Towards a Mathematical Assistant Christoph Benzmuller, Lassaad Cheikhrouhou, Detlef…
Cited by 53 (29 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB