Treffer 1 - 2 von 2 für Suche 'International Conference on Interactive Theorem Proving Brasília', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    Interactive theorem proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings

    Interactive theorem proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings

    Veröffentlicht 2017
    “… International Conference on Interactive Theorem Proving Brasília …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Interactive theorem proving 8th international conference, ITP 2017, Brasìlia, Brazil, September 26-29, 2017 : proceedings

    Interactive theorem proving 8th international conference, ITP 2017, Brasìlia, Brazil, September 26-29, 2017 : proceedings

    Veröffentlicht 2017
    “… International Conference on Interactive Theorem Proving Brasília …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: