Treffer 1 – 20 von 44 für Suche 'Constable, Robert', Suchdauer: 0,06s 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
    Implementing metamathematics as an approach to automatic theorem proving [working material for the lectures of Robert L. Constable, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Implementing metamathematics as an approach to automatic theorem proving [working material for the lectures of Robert L. Constable, International Summer School on Logic, Algebra an... von Constable, Robert Lee 1952-, Howe, Douglas J., Howe, Douglas J.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The semantics of evidence

    The semantics of evidence von Constable, Robert Lee 1952-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Investigations of type theory in programming logics and intelligent systems

    Investigations of type theory in programming logics and intelligent systems von Constable, Robert Lee 1952-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Language features that support program verification (illustrated in PL C)

    Language features that support program verification (illustrated in PL C) von Constable, Robert Lee 1952-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the computational complexity of scheme equivalence

    On the computational complexity of scheme equivalence von Constable, Robert Lee 1952-, Hunt, Harry B., Sahni, Sartaj 1949-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A constructive theory of recursive functions

    A constructive theory of recursive functions von Constable, Robert Lee 1952-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Loop schemata

    Loop schemata von Constable, Robert Lee 1952-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Subrecursive programming languages for Rn

    Subrecursive programming languages for Rn von Constable, Robert Lee 1952-

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Complexity of formal translations and speed-up results

    Complexity of formal translations and speed-up results von Constable, Robert Lee 1952-, Hartmanis, Juris

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Extending and refining hierarchies of computable functions

    Extending and refining hierarchies of computable functions von Constable, Robert Lee 1952-

    Veröffentlicht 1968
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Prerogativa regis tertia lectura Roberti Constable de Lyncolnis Inne anno 11 H. 7

    Prerogativa regis tertia lectura Roberti Constable de Lyncolnis Inne anno 11 H. 7 von Constable, Robert

    Veröffentlicht 1949
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    God and the king, or, Monarchy proved from Holy Writ to be the onely legitimate species of politick government, and the onely polity constituted and appointed by God wherein the phantasied principles of supereminencing the peoples welfare above the kings honour, and popular election of kings are manifested to be groundless and unseasonable

    God and the king, or, Monarchy proved from Holy Writ to be the onely legitimate species of politick government, and the onely polity constituted and appointed by God wherein the ph... von Constable, Robert

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


    Gespeichert in:
  13. 13
    Metalogical frameworks

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Metalogical frameworks

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    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:
  16. 16
    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:
  17. 17
    The nearly ultimate PEARL

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Mathematics as programming

    Mathematics as programming von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Proofs as programs

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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:

Suchwerkzeuge: