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