Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2012
Remove all filters
Displaying results 71 to 80 of 609.

  1. Claus-Peter Wirth

    lim+, delta+, and Non-Permutability of beta-Steps.

    In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.

  2. Claus-Peter Wirth

    Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort

    In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.

  3. Stefan Winterstein

    Math-Bridge Project: Adaptation of the ActiveMath Platform

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  4. Sergey Sosnovsky; Julia Nauhauser

    Math-Brde Project: Report on Dissemination

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  5. Sergey Sosnovsky; Andrey Girenko

    Math-Bridge Project Business Model and Plan for Exploitation

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  6. Sergey Sosnovsky

    Math-Bridge Project: Progress Report #5.

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  7. Sergey Sosnovsky

    Math-Bridge Project: Attracted additional associates/customers

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  8. Sergey Sosnovsky

    Math-Brdge Project: Multimedia Project Presentation

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  9. Sergey Sosnovsky

    Math-Bridge Project: Final Public Report

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

  10. Michael Dietrich

    Math-Bridge Project: Report on Final (revised) Math-Bridge service.

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.

Year