Atlas home || Conferences | Abstracts | about Atlas

15th International Conference on Automated Deduction (CADE-15)

July 5-10, 1998

Lindau, Germany

Mathematics

Homepage: http://www.th-darmstadt.de/cade-15/

Organizers: C. Kirchner, H. Kirchner, W. Bibel

Deadline for abstracts: January 05, 1998

Date received: January 01, 1998

© 2008 Atlas Conferences Inc.