Treffer 1 – 2 von 2 für Suche 'Stephan, Werner 1950-', 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
    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Veröffentlicht 2005
    Weitere Verfasser: “… Stephan, Werner 1950- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Veröffentlicht 2005
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: