Treffer 1 – 4 von 4 für Suche 'Nevins, Arthur J.', Suchdauer: 0,01s 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
    A relaxation approach to splitting in an automatic theorem prover

    A relaxation approach to splitting in an automatic theorem prover von Nevins, Arthur J.

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Plane geometry theorem proving using forward chaining

    Plane geometry theorem proving using forward chaining von Nevins, Arthur J.

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A human oriented logic for automatic theorem proving

    A human oriented logic for automatic theorem proving von Nevins, Arthur J.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A human oriented logic for automatic theorem proving

    A human oriented logic for automatic theorem proving von Nevins, Arthur J.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: