Treffer 1 – 6 von 6 für Suche 'Kaufmann, Matt', Suchdauer: 0,06s 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
    Computer-Aided Reasoning An Approach

    Computer-Aided Reasoning An Approach von Kaufmann, Matt, Manolios, Panagiotis, Moore, J Strother

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


    Gespeichert in:
  2. 2
    The Boyer-Moore prover and NUPRL an experimental comparison

    The Boyer-Moore prover and NUPRL an experimental comparison von Basin, David, Kaufmann, Matt

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computer aided reasoning an approach

    Computer aided reasoning an approach von Kaufmann, Matt, Manolios, Panagiotis, Moore, J Strother 1947-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Interactive theorem proving first international conference ; proceedings

    Interactive theorem proving first international conference ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Kaufmann, Matt …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Interactive theorem proving first international conference ; proceedings

    Interactive theorem proving first international conference ; proceedings

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


    Gespeichert in:
  6. 6
    Computer-Aided Reasoning ACL2 Case Studies

    Computer-Aided Reasoning ACL2 Case Studies

    Veröffentlicht 2000
    Weitere Verfasser: “… Kaufmann, Matt …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: