CADE-15
The 15th International Conference on Automated Deduction
WORKSHOP
INTEGRATION OF DEDUCTION SYSTEMS
July 5-6, 1998, Lindau, Germany
Organizers
Topics
Schedule
Proceedings
The following link may also still be active:
You may also want to look at the
CALL FOR PAPERS
for a
Special Issue on Integration of Deduction Systems
in the Journal for Universal Computer Science (JUCS).
Phone:
+49 721 608 4000
FAX:
+49 721 608 4211
E-mail: wsIntegration@ira.uka.de
Peter H. Schmitt
1998-04-14