Christine Paulin-Mohring

Christine Paulin-Mohring (* 31. Mai 1962) ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen. Veröffentlicht in Wikipedia
Treffer 1 - 8 von 8 für Suche 'Paulin-Mohring, Christine', Suchdauer: 0,18s Treffer weiter einschränken
  1. 1
    von Paulin-Mohring, Christine
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Pfenning, Frank
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Potet, Marie-Laure
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Huet, Gérard
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Huet, Gérard
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 ; proceedings
    Veröffentlicht 2008
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22 - 26, 2013; proceedings
    Veröffentlicht 2013
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004 ; revised selected papers
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Inhaltstext
    Verlagsangaben
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: