Treffer 1 – 7 von 7 für Suche 'Loveland, Donald W. 1934-', Suchdauer: 0,10s 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
    Automated theorem proving a logical basis

    Automated theorem proving a logical basis von Loveland, Donald W. 1934-

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    D. W. Loveland and M. E. Stickel

    D. W. Loveland and M. E. Stickel von Loveland, Donald W. 1934-, Stickel, Mark E.

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Three views of logic mathematics, philosophy, and computer science

    Three views of logic mathematics, philosophy, and computer science von Loveland, Donald W. 1934-, Hodel, Richard E., Sterrett, Susan G.

    Veröffentlicht 2014
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Three Views of Logic Mathematics, Philosophy, and Computer Science

    Three Views of Logic Mathematics, Philosophy, and Computer Science von Loveland, Donald W. 1934-

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


    Gespeichert in:
  5. 5
    Three Views of Logic Mathematics, Philosophy, and Computer Science

    Three Views of Logic Mathematics, Philosophy, and Computer Science von Loveland, Donald W. 1934-

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


    Gespeichert in:
  6. 6
    Empirical explorations of the geometry-theorem proving machine

    Empirical explorations of the geometry-theorem proving machine von Gelernter, H., Hansen, J. R., Loveland, Donald W. 1934-

    Veröffentlicht 1963
    Artikel Fernleihe Bestellen


    Gespeichert in:
  7. 7
    6th Conference on Automated Deduction New York, USA, June 7-9, 1982

    6th Conference on Automated Deduction New York, USA, June 7-9, 1982

    Veröffentlicht 1982
    Weitere Verfasser: “… Loveland, Donald W. 1934- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: