Treffer 1 – 20 von 37 für Suche 'Constable, Robert Lee 1952-', Suchdauer: 0,08s 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
    Metalogical frameworks

    Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Metalogical frameworks

    Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Recursive definitions in type theory

    Recursive definitions in type theory von Constable, Robert Lee 1952-, Mendler, N. P.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    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 Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The nearly ultimate PEARL

    The nearly ultimate PEARL von Constable, Robert Lee 1952-, Bates, Joseph L.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Mathematics as programming

    Mathematics as programming von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proofs as programs

    Proofs as programs von Bates, Joseph L., Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    An introduction to the PL/CV2 programming logic

    An introduction to the PL/CV2 programming logic von Constable, Robert Lee 1952-, Johnson, S. D., Eichenlaub, C. D.

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


    Gespeichert in:
  9. 9
    Report on the type theory (V3) of the programming logic PL/CV3

    Report on the type theory (V3) of the programming logic PL/CV3 von Constable, Robert Lee 1952-, Zlatin, Daniel R.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Programs as types

    Programs as types von Constable, Robert Lee 1952-

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    The fundamental theorem of arithmetic in PL CV2

    The fundamental theorem of arithmetic in PL CV2 von Constable, Robert Lee 1952-

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    An elementary formal semantics for the programming language PL CS

    An elementary formal semantics for the programming language PL CS von Constable, Robert Lee 1952-, Donahue, James E.

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Subrecursive programming languages

    Subrecursive programming languages von Constable, Robert Lee 1952-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Formalized metareasoning in type theory

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Universally closed classes of total computable functions

    Universally closed classes of total computable functions von Constable, Robert Lee 1952-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Partial functions in constructive formal theories

    Partial functions in constructive formal theories von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Constructive mathematics as a programming logic I some principles of theory

    Constructive mathematics as a programming logic I some principles of theory von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    An introduction to the PL/CV2 programming logic

    An introduction to the PL/CV2 programming logic von Constable, Robert Lee 1952-, Johnson, S. D., Eichenlaub, C. D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Programs as proofs

    Programs as proofs von Constable, Robert Lee 1952-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    The type theory of PL/CV3

    The type theory of PL/CV3 von Constable, Robert Lee 1952-, Zlatin, Daniel R.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: