UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 29

Sortiert nach

Rekursionstheorie

Oberschelp, Arnold

1993

Signatur: TCL4195

Die These von Church : zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie

Europäische Hochschulschriften : Reihe 1, Deutsche Sprache und Literatur : 1599 (Alle Bände)

Schulz, Klaus-Dieter

1997

Signatur: HLD3717

Fundamentals of generalized recursion theory

Studies in logic and the foundation of mathematics : 105 (Alle Bände)

Fitting, Melvin

1981

Signatur: TCL3181

Recursion theory : its generalisations and applications ; proceedings of Logic Colloquium '79, Leeds, August 1979

London Mathematical Society lecture note series : 45 (Alle Bände)

Drake, Frank Robert[Herausgeber]

1980

Signatur: TAY790157

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

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)

Nerode, Anil[Herausgeber]

1985

Signatur: TBR1622-42

Algebraic recursion theory

Ellis Horwood series in mathematics and its applications

Ivanov, Ljubomir L

1986

Signatur: TCL3539

Techniques of admissible recursion theory

Lecture notes in mathematics : 1106 (Alle Bände)

Chong, Chi-Tat

1984

Signatur: TCL3343

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Heidelberger Taschenbücher : 87 (Alle Bände)

Hermes, Hans

2. Aufl, 1971

Signatur: TCL1016(2)

Recursion on the countable functionals

Lecture notes in mathematics : 811 (Alle Bände)

Normann, Dag

1980

Signatur: TCL3092

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Heidelberger Taschenbücher : 87 (Alle Bände)

Hermes, Hans

3. Aufl, 1978

Signatur: TCL3026(3)

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Einführung in die mathematische Logik (Alle Bände)

Asser, Günter

1981

Signatur: TCL2088-3

Recursion theoretic hierarchies

Perspectives in mathematical logic

Hinman, Peter G

1978

Signatur: TCL2800

Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben

Leitfäden und Monographien der Informatik

2., durchges. Aufl, 1992

Signatur: TVI1740(2)

Aspects of incompleteness

Lecture notes in logic : 10 (Alle Bände)

Lindström, Per

1997

Signatur: TCL4577

Autonomie, Macht, Liebe : Konsequenzen der Selbstreferentialität

Suhrkamp-Taschenbuch : 1594 (Alle Bände)

Portele, Gerhard Heik

1. Aufl., 1. [Dr.], 1989

Signatur: HQM2978

Modell- und rekursionstheoretische Gru ndlagen psychologischer Theorienbildung

Lehr- und Forschungstexte Psychologie : 14

Lehmann, Günter

1985

Link zum Volltext
Volltext

Zur Berechenbarkeit reeller geometrischer Probleme

HNI-Verlagsschriftenreihe : 115 (Alle Bände)

Ziegler, Martin

2003

Signatur: TVI4332

Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung [electronic resource]

Lehmann, Günter

1st ed. 1985, 1985

Link zum Volltext
SpringerLink Books - AutoHoldings

Zur Berechenbarkeit reeller geometrischer Probleme

Ziegler, Martin

2002

Signatur: PQ209

Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung

Lehr- und Forschungstexte Psychologie : 14 (Alle Bände)

Lehmann, Günter

1985

Signatur: HQM2685

Mathematische Logik [electronic resource]

Ziegler, Martin

2nd ed. 2017, 2017

Link zum Volltext
SpringerLink Books - AutoHoldings

Mathematische Logik [electronic resource]

Ziegler, Martin

1st ed. 2010, 2010

Link zum Volltext
SpringerLink Books - AutoHoldings

Ein Jahrhundert Mathematik 1890 - 1990 : Festschrift zum Jubiläum der DMV

Dokumente zur Geschichte der Mathematik : 6 (Alle Bände)

Fischer, Gerd[Herausgeber]

1990

Signatur: TAQ3845

Theoretische Informatik : Eine problemorientierte Einführung [electronic resource]

1st ed. 1996, 1996

Link zum Volltext
SpringerLink Books - AutoHoldings

1 – 25 von 29

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(20)
Online-Ressource
(9)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(29)

Schlagwort

Rekursionstheorie
(13)
Mathematical logic
(5)
Mathematical Logic and Foundations
(4)
Berechenbarkeit
(3)
Algorithmus
(2)
Computer logic
(2)
Logics and Meanings of Programs
(2)
Mathematics
(2)
Mathematik
(2)
Mathematische Logik
(2)
Psychologie
(2)
Psychology
(2)
Psychology, general
(2)
Algebraische Rekursionstheorie
(1)
Algorithm Analysis and Problem Complexity
(1)
Algorithmische Geometrie
(1)
Algorithms
(1)
Berechenbare Funktion
(1)
Berechnungstheorie
(1)
Church-These
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(16)

Systemstelle

TCL
(10)
TVI
(3)
HQM
(2)
TAY
(2)
HLD
(1)
HLH
(1)
HLK
(1)
HLR
(1)
HRH
(1)
TAQ
(1)
TBR
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Rekursionstheorie

Die These von Church : zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie

Fundamentals of generalized recursion theory

Recursion theory : its generalisations and applications ; proceedings of Logic Colloquium '79, Leeds, August 1979

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989

Recursion theory : proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28 - July 16, 1982

Algebraic recursion theory

Techniques of admissible recursion theory

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Recursion on the countable functionals

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Recursion theoretic hierarchies

Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben

Aspects of incompleteness

Autonomie, Macht, Liebe : Konsequenzen der Selbstreferentialität

Modell- und rekursionstheoretische Gru ndlagen psychologischer Theorienbildung

Zur Berechenbarkeit reeller geometrischer Probleme

Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung [electronic resource]

Zur Berechenbarkeit reeller geometrischer Probleme

Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung

Mathematische Logik [electronic resource]

Mathematische Logik [electronic resource]

Ein Jahrhundert Mathematik 1890 - 1990 : Festschrift zum Jubiläum der DMV

Theoretische Informatik : Eine problemorientierte Einführung [electronic resource]

Aktive Filter

Suchergebnisse filtern