gefundene Verfasser Sozeau, M

Herbelin, Hugo
International Conference on Types for Proofs and Programs Paris
Letouzey, Pierre
Sozeau, Matthieu

Treffer 1 - 1 von 1 für Suche 'Sozeau, M', Suchdauer: 0,25s Treffer weiter einschränken
  1. 1
    20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France

    20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France

    Veröffentlicht 2015
    Volltext
    kostenfrei
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: