1. FroCoS 1996: Munich, Germany

Franz Baader, Klaus U. Schulz (Eds.): Frontiers of Combining Systems, First International Workshop FroCoS '96, Munich, Germany, March 26-29, 1996, Proceedings. Kluwer Academic Publishers, Applied Logic Series, Vol. 3, ISBN 0-7923-4271-2

Invited Talk

Combination of Logics

Automated Deduction

Invited Talk

Coordination Models


Acknowledgement: the information on this page was provided by Uwe Waldmann
maintained by Schloss Dagstuhl LZI at University of Trier