Treffer 1 - 2 von 2 für Suche 'ITP 2016', Suchdauer: 0,42s Treffer weiter einschränken
  1. 1
    Interactive theorem proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings

    Interactive theorem proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings

    Veröffentlicht 2016
    “… ITP 2016 …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Interactive theorem proving 7th international conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings

    Interactive theorem proving 7th international conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings

    Veröffentlicht 2016
    “… ITP 2016 …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: