dblp.uni-trier.de www.uni-trier.de

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

Copyright © Sat May 16 23:12:46 2009 by Michael Ley (ley@uni-trier.de)