Treffer 1 – 3 von 3 für Suche 'Joyner, William H', 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
    Proceedings of the 42nd annual Design Automation Conference

    Proceedings of the 42nd annual Design Automation Conference von Joyner, William H

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


    Gespeichert in:
  2. 2
    Proceedings of the fourth Workshop on Automated Deduction Febr. 1 - 3, 1979, Thompson Conf. Center, Austin, Tex.

    Proceedings of the fourth Workshop on Automated Deduction Febr. 1 - 3, 1979, Thompson Conf. Center, Austin, Tex. von Joyner, William H.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Automatic theorem-proving and the decision problem

    Automatic theorem-proving and the decision problem von Joyner, William H.

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: