KOBV Portal

Book

The universal computer : the road from Leibniz to Turing (2012)

Davis, Martin [Verfasser] 1928-2023

Boca Raton, Fla. [u.a.] : CRC Press

add to watchlist on the watchlist

Details

UID:

b3kat_BV039839436

Format: XIV, 224 S. , Ill.

Edition: Turing centenary ed.

ISBN: 9781466505193

Series Statement: An A K Peters book

Note: Includes bibliographical references and index

Language: English

Subjects: Computer Science , History , Mathematics

RVK:

NW 6500

RVK:

SG 337

RVK:

SR 800

Keywords: Datenverarbeitung ; Wissenschaftsentwicklung ; Geschichte 1670-2011 ; Computer ; Erfindung ; Mathematische Logik ; Informatik ; Mathematiker ; Geschichte 1680-1950 ; Datenverarbeitung ; Geschichte ; Algorithmus ; Künstliche Intelligenz ; Biografie

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

EUV Frankfurt

BTU Cottbus

TU Berlin

Book

Applied nonstandard analysis. (1977)

Davis, Martin 1928-2023

New York (u.a.) :Wiley,

add to watchlist on the watchlist

Details

UID:

almafu_BV002282150

Format: XI, 181 S.

ISBN: 0-471-19897-8

Series Statement: Pure and applied mathematics.

Language: English

Subjects: Mathematics

RVK:

SK 130

RVK:

SK 400

Keywords: Nonstandard-Analysis ; Analysis

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

TU Berlin

Book

Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings (2015)

LPAR 20. 2015 Suva ; Davis, Martin 1928-2023

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV043226975

Format: XV, 640 Seiten , Illustrationen, Diagramme

ISBN: 9783662488980

Series Statement: Lecture notes in computer science. Advanced research in computing and software science 9450

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-662-48899-7

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Logische Programmierung ; Programmierlogik ; Automatisches Beweisverfahren ; Künstliche Intelligenz ; Konferenzschrift ; Kongress ; Konferenzschrift

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

TU Berlin

Book

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions (1965)

Davis, Martin 1928-2023

Hewlett, NY :Raven Pr.,

add to watchlist on the watchlist

Details

UID:

almafu_BV007027298

Format: 440 S.

Language: English

Subjects: Computer Science , Philosophy

RVK:

CC 2600

RVK:

ST 130

Keywords: Entscheidbarkeit

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

TU Berlin

Book

Lectures on modern mathematics / (1967)

Davis, Martin 1928-2023

New York [u.a.] :Gordon and Breach,

add to watchlist on the watchlist

Details

UID:

almafu_BV002645960

Format: IX, 186 S. : , graph. Darst.

Series Statement: Notes on mathematics and its applications

Language: English

Subjects: Mathematics

RVK:

SK 110

RVK:

SM 300

RVK:

SM 600

Keywords: Schulmathematik ; Mathematik ; Einführung ; Einführung

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

TU Berlin

Book

ASM handbook; 5: Surface engineering (1994)

ASM International [Verfasser] ; Davis, Joseph R. [Sonstige] ; Blau, Peter J. [Sonstige]

Materials Park, Ohio : ASM Internat.

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV010059677

Format: XIV, 1039 S. , Ill., graph. Darst.

Edition: 1. print.

ISBN: 087170384X

In: 5

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

BTU Cottbus

TU Berlin

Book

ASM handbook; [18a]: Comprehensive index (1994)

ASM International [Verfasser] ; Davis, Joseph R. [Sonstige] ; Blau, Peter J. [Sonstige]

Materials Park, Ohio : ASM Internat.

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV011285895

Format: III, 1030 S.

Edition: 1. print.

ISBN: 0871703831

In: 18

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

BTU Cottbus

TU Berlin

Book

A first course in functional analysis (1966)

Davis, Martin [Verfasser] 1928-2023

New York [u.a.] : Gordon and Breach

add to watchlist on the watchlist

Details

UID:

b3kat_BV002645961

Format: XII, 110 S. , graph. Darst.

Series Statement: Notes on mathematics and its applications

Language: English

Subjects: Mathematics

RVK:

SK 600

Keywords: Funktionalanalysis

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Computability, complexity, and languages : fundamentals of theoret. computer science (1987)

Davis, Martin [Verfasser] 1928-2023 ; Weyuker, Elaine J. [Verfasser]

Orlando [u.a.] : Acad. Pr.

add to watchlist on the watchlist

Details

UID:

b3kat_BV024531034

Format: XIX, 425 S. , graph. Darst.

Edition: 3. [Dr.]

ISBN: 0122063805

Series Statement: Computer science and applied mathematics

Language: English

Keywords: Komplexität ; Berechenbarkeit ; Formale Sprache ; Automatentheorie ; Theoretische Informatik

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Computability & unsolvability (1958)

Davis, Martin [Verfasser] 1928-2023

New York [u.a.] : McGraw-Hill

add to watchlist on the watchlist

Details

UID:

b3kat_BV004697200

Format: XXV, 210 S.

Series Statement: McGraw-Hill series in information processing and computers

Language: English

Subjects: Computer Science , Economics , Mathematics , Philosophy

RVK:

CC 2600

RVK:

QH 120

RVK:

SK 130

RVK:

ST 130

RVK:

ST 134

Keywords: Unlösbarkeit ; Berechenbarkeit ; Turing-Maschine

Author information: Davis, Martin 1928-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

hits 1 - 10 | 23 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg