ΩMEGA: Computer supported mathematics (2004)

Cached

Download Links

by Jörg Siekmann , Christoph Benzmüller
Venue:IN: PROCEEDINGS OF THE 27TH GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (KI 2004)
Citations:3 - 3 self