gefundene Verfasser Lee, T.B.K.

Constable, Robert Lee 1952-
Bates, J. L.
Knoblock, T. B.
Knoblock, Todd B.

Treffer 1 - 2 von 2 für Suche 'Lee, T.B.K.', Suchdauer: 1,35s Treffer weiter einschränken
  1. 1
    Writing programs that construct proofs

    Writing programs that construct proofs von Constable, Robert Lee 1952-, Knoblock, T. B., Bates, J. L.

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formalized metareasoning in type theory

    Formalized metareasoning in type theory von Knoblock, Todd B., Constable, Robert Lee 1952-

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: