Suchergebnisse - MLPA '09: First Workshop on Modules and Libraries for Proof Assistants

  • Treffer 1 – 1 von 1
Treffer filtern
  1. 1
    Buchumschlag

    Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
    von Rabe, Florian

    Veröffentlicht 2009
    “… MLPA '09: First Workshop on Modules and Libraries for Proof Assistants …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: