Treffer 1 – 2 von 2 für Suche 'International Conference on Automated Deduction Kaiserslautern', 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
    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Veröffentlicht 1990
    “… International Conference on Automated Deduction Kaiserslautern …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Veröffentlicht 1990
    “… International Conference on Automated Deduction Kaiserslautern …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: