Treffer 1 – 5 von 5 für Suche 'Autexier, Serge', Suchdauer: 0,03s 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
    Parameterized Abstractions used for proof-planning

    Parameterized Abstractions used for proof-planning von Autexier, Serge, Hutter, Dieter

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Parameterized abstractions used for proof planning

    Parameterized abstractions used for proof planning von Autexier, Serge

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

    Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics von Autexier, Serge

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Intelligent computer mathematics 10th international conference ... ; proceedings

    Intelligent computer mathematics 10th international conference ... ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Autexier, Serge …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Veröffentlicht 2006
    Weitere Verfasser: “… Autexier, Serge …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: