Treffer 1 – 2 von 2 für Suche 'ITP 2016', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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 öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: