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...
Sortiert nach
    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
Recursion theory
Lecture notes in logic : 1 (Alle Bände)
1993
Signatur: M7454
    Datensatz exportieren als...
  • BibTeX
Algorithm design : a recursion transformation framework
A Wiley-Interscience publication
1988
Signatur: TVI1790
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVI1740(2)
    Datensatz exportieren als...
  • BibTeX
Zur Berechenbarkeit reeller geometrischer Probleme
HNI-Verlagsschriftenreihe : 115 (Alle Bände)
2003
Signatur: TVI4332
    Datensatz exportieren als...
  • BibTeX
Zur Berechenbarkeit reeller geometrischer Probleme
2002
Signatur: PQ209
    Datensatz exportieren als...
  • BibTeX
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    Datensatz exportieren als...
  • BibTeX
Computable economics
The Arne Ryde memorial lectures : 5 (Alle Bände)
2000
Signatur: QGL4972
    Datensatz exportieren als...
  • BibTeX
Recursive aspects of descriptive set theory
Oxford logic guides : 11 (Alle Bände)
1985
Signatur: TCS2279
    Datensatz exportieren als...
  • BibTeX
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    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
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
3. Aufl, 1978
Signatur: TCL3026(3)
    Datensatz exportieren als...
  • BibTeX
Recursion on the countable functionals
Lecture notes in mathematics : 811 (Alle Bände)
1980
Signatur: TCL3092
    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)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
Techniques of admissible recursion theory
Lecture notes in mathematics : 1106 (Alle Bände)
1984
Signatur: TCL3343
    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
Higher recursion theory
Perspectives in mathematical logic
1990
Signatur: TCL3806
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3686-...
    Datensatz exportieren als...
  • BibTeX
Logical frameworks for truth and abstraction : an axiomatic study
Studies in logic and the foundations of mathematics : 135 (Alle Bände)
1996
Signatur: TCL4446
    Datensatz exportieren als...
  • BibTeX
Set theory, logic and their limitations
1996
Signatur: TCL4438
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Rekursionstheorie
1993
Signatur: TCL4195
1 – 25 von 55
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen