Embedded Intelligence

Page 7 of 9.

1. Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)

   Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008)

   International Conference on Mathematical Knowledge Management (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - …

2. David Aspinall; Ewen Denney; Christoph Lüth

   A Tactic Language for Hiproofs

   In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International …

3. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

   Deep Inference for Automated Proof Tutoring?

   In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

4. Jörg Siekmann; Serge Autexier

   Computer Supported Formal Work: Towards a Digital Mathematical Assistant

   In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

5. Roy McCasland; Alan Bundy; Serge Autexier

   Automated Discovery of Inductive Theorems

   In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

6. Serge Autexier; A. Fiedler; T. Neumann; M. Wagner

   Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems

   In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …

7. Serge Autexier; C. Benzmüller (Hrsg.)

   Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

   Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …

8. Till Mossakowski; Serge Autexier; Dieter Hutter

   Development Graphs -- Proof Management for Structured Specifications

   In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.

9. Dieter Hutter

   Automating Proofs of Unwinding Conditions

   In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

10. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

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