Skip to contents

Hotz, Günter [Author]

Über Berechenbarkeit fraktaler Strukturen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Steiner, 1994

Published in: Akademie der Wissenschaften und der Literatur Mainz: Abhandlungen der Mathematisch-Naturwissenschaftlichen Klasse ; 1994,1
Boolos, George [Author]; Jeffrey, Richard C. [Author]

Computability and logic - [3. ed., repr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Pr., 1990

Published in: Open University set book
Paulson, Lawrence C. [Author]

Logic and computation : interactive proof with Cambridge LCF - [1. paperback ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1990

Published in: Cambridge tracts in theoretical computer science ; 2.1990
Noltemeier, Hartmut [Author]; Laue, Reinhard [Author]

Informatik / 1, Einführung in Algorithmen und Berechenbarkeit

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Hanser, 1981

Published in: Informatik / Hartmut Noltemeier ; 1
Hermes, Hans [Author]

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen - [2. Auflage, rev. Aufl. von Bd. 109]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York: Springer, 1971

Published in: Heidelberger Taschenbücher ; 87.1971
Trachtenbrot, Boris Avraamovič [Author] ; Rupp, Karl-Heinz [Other]

Wieso können Automaten rechnen : Einf. in die logisch-mathematischen Grundlagen programmgesteuerter Rechenautomaten - [6. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Dt. Verl. d. Wissenschaften, 1971

Published in: Mathematische Schülerbücherei ; 60.1971
Siefkes, Dirk [Author]

Büchi's monadic second order successor arithmetic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1970

Published in: Decidable theories ; 1 - Lecture notes in mathematics ; 120
Goodstein, Reuben L. [Author]

Recursive analysis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1961

Published in: Studies in logic and the foundations of mathematics
Haraway, Donna [Author]

SF: speculative fabulation and string figures = SF: spekulative Fabulation und String-Figuren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ostfildern: Hatje Cantz, 2011

Published in: 100 notes - 100 thoughts ; 33
Wechsung, Gerd [Author]

Vorlesungen zur Komplexitätstheorie - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart [u.a.]: Teubner, 2000

Published in: Teubner-Texte zur Informatik ; 32
Dunne, Paul E. [Author]

Computability theory : concepts and applications - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Ellis Horwood, 1991

Published in: Ellis Horwood series in computers and their applications
Weihrauch, Klaus [Author]

Computability

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London: Springer, 1987

Published in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 9
Ambos-Spies, Klaus [Editor] ; Recursion Theory Week 1989 Oberwolfach

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in mathematics ; 1432
Normann, Dag [Author]

Recursion on the countable functionals

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg [usw.]: Springer, 1980

Published in: Lecture notes in mathematics ; 811
Eilenberg, Samuel [Author]; Elgot, Calvin C. [Author]

Recursiveness

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Acad. Pr., 1970
Küppers, Bernd-Olaf [Author]

The computability of the world : how far can science take us?

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, [2018]

Published in: The frontiers collection
Braverman, Mark [Author]; Yampolsky, Michael [Author]

Computability of Julia sets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2009

Published in: Algorithms and computation in mathematics ; 23
Ash, Chris J. [Author] ; Knight, Julia F. [Other]

Computable structures and the hyperarithmetical hierarchy - [1st ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 2000

Published in: Studies in logic and the foundations of mathematics ; 14400
Felscher, Walter [Author]

Berechenbarkeit : rekursive und programmierbare Funktionen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Springer-Lehrbuch
Rogers, Hartley [Author]

Theory of recursive functions and effective computability - [3. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1992

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication