Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Computability, enumerability, unsolvability : directions in recursion theory
London Mathematical Society lecture note series : 224 (Alle Bände)
1996
Signatur: TCL4535
    Datensatz exportieren als...
  • BibTeX
Rekursionstheorie
1993
Signatur: TCL4195
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3686-...
    Datensatz exportieren als...
  • BibTeX
Higher recursion theory
Perspectives in mathematical logic
1990
Signatur: TCL3806
    Datensatz exportieren als...
  • BibTeX
Recursion Theory Week : proceedings of a conference held in Oberwolfach, West Germany, April 15 - 21, 1984
Lecture notes in mathematics : 1141 (Alle Bände)
1985
Signatur: TAY840156
    Datensatz exportieren als...
  • BibTeX
Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989
Lecture notes in mathematics : 1432 (Alle Bände)
1990
Signatur: TAY890135
    Datensatz exportieren als...
  • BibTeX
Recursion theory : its generalisations and applications ; proceedings of Logic Colloquium '79, Leeds, August 1979
London Mathematical Society lecture note series : 45 (Alle Bände)
1980
Signatur: TAY790157
    Datensatz exportieren als...
  • BibTeX
Initial segments of degrees below O'
Memoirs of the American Mathematical Society : 241 (Alle Bände)
1981
    Datensatz exportieren als...
  • BibTeX
Fundamentals of generalized recursion theory
Studies in logic and the foundation of mathematics : 105 (Alle Bände)
1981
Signatur: TCL3181
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory. 1. The theory of functions and sets of natural numbers
Classical recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 125 (Alle Bände)
1989
Signatur: TCL3686-1
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium. 1. Proceedings of the 1972 Oslo Symposium
Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 79 (Alle Bände)
1974
Signatur: TCL2119-1
    Datensatz exportieren als...
  • BibTeX
Recursion theory
Lecture notes in logic : 1 (Alle Bände)
1993
Signatur: M7454
    Datensatz exportieren als...
  • BibTeX
Recursion theory
Lecture notes in logic : 1 (Alle Bände)
[2016]
    Datensatz exportieren als...
  • BibTeX
Recursion theory : proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28 - July 16, 1982
Proceedings of symposia in pure mathematics : 42 (Alle Bände)
1985
Signatur: TBR1622-42
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
The recursion method : application to many body dynamics
Lecture notes in physics : M, Monographs : 23 (Alle Bände)
1994
Signatur: TLL5498
    Datensatz exportieren als...
  • BibTeX
Recursive functionals
Studies in logic and the foundations of mathematics : 131 (Alle Bände)
1992
Signatur: TCL3929
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    Datensatz exportieren als...
  • BibTeX
Computable economics
The Arne Ryde memorial lectures : 5 (Alle Bände)
2000
Signatur: QGL4972
    Datensatz exportieren als...
  • BibTeX
Complexity, logic, and recursion theory
Lecture notes in pure and applied mathematics : 187 (Alle Bände)
1. print, 1997
Signatur: TAY940914
    Datensatz exportieren als...
  • BibTeX
Recursion on the countable functionals
Lecture notes in mathematics : 811 (Alle Bände)
1980
Signatur: TCL3092
    Datensatz exportieren als...
  • BibTeX
Recursive aspects of descriptive set theory
Oxford logic guides : 11 (Alle Bände)
1985
Signatur: TCS2279
    Datensatz exportieren als...
  • BibTeX
Algorithm design : a recursion transformation framework
A Wiley-Interscience publication
1988
Signatur: TVI1790
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
2. Aufl, 1971
Signatur: TCL1016(2)
1 – 25 von 40
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen