Embedded Intelligence

Page 6 of 9.

1. Serge Autexier; Petr Sojka; Masakazu Suzuki

   Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)

   In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.

2. Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann

   Resource Adaptive Processes in Automated Reasoning Systems

   In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.

3. Serge Autexier; Dominik Dietrich

   Atomic Metadeduction

   In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence …

4. Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier

   Jacques Herbrand: Life, Logic, and Automated Deduction

   In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.

5. David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner

   Towards Merging Plato and PGIP

   In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …

6. Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

   Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.

7. Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner

   Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

   In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.

8. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

   Preface. Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

9. Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks

   Cross-Curriculum Search for Intergeo

   In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management …

10. Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

    In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.

• previous
• 1
• …
• 5
• 6
• 7
• …
• 9
• next