Treffer 1 – 3 von 3 für Suche 'International Conference on Automated Deduction Napa, Calif', Suchdauer: 0,02s 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
    7th International Conference on Automated Deduction Napa, California, USA, May 14 - 16, 1984 ; proceedings

    7th International Conference on Automated Deduction Napa, California, USA, May 14 - 16, 1984 ; proceedings

    Veröffentlicht 1984
    “… International Conference on Automated Deduction Napa, Calif …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings Napa, California, USA, May 14 - 16, 1984

    Proceedings Napa, California, USA, May 14 - 16, 1984

    Veröffentlicht 1984
    “… International Conference on Automated Deduction Napa, Calif …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    7th International Conference on Automated Deduction Napa, California, USA May 1416, 1984 ; proceedings

    7th International Conference on Automated Deduction Napa, California, USA May 1416, 1984 ; proceedings

    Veröffentlicht 1984
    “… International Conference on Automated Deduction Napa, Calif …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: