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

60. Birthday: Jörg H. Siekmann 2005

Dieter Hutter, Werner Stephan (Eds.): Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 2605 Springer 2005, ISBN 3-540-25051-4 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Logic and Deduction

Applications of Logics

Formal Methods and Security

Agents and Planning

Copyright © Mon Nov 2 20:22:09 2009 by Michael Ley (ley@uni-trier.de)