Treffer 1 - 2 von 2 für Suche 'Gelernter, H.', Suchdauer: 0,07s Treffer weiter einschränken
  1. 1
    Realization of a geometry-theorem proving machine

    Realization of a geometry-theorem proving machine von Gelernter, H.

    Veröffentlicht 1963
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: