Martin Davis
mini|Martin Davis, vor 2010Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker. Veröffentlicht in Wikipedia
Treffer 1 - 20 von 39 für Suche 'Davis, Martin 1928-', Suchdauer: 0,42s
Treffer weiter einschränken
-
1
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2018Signatur: Wird geladen …lizenzpflichtig
Standort: Wird geladen …
Elektronisch E-Book -
2
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2012Signatur: Wird geladen …lizenzpflichtig
Standort: Wird geladen …
Elektronisch E-Book -
3
Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science von Davis, Martin 1928-2023
Veröffentlicht 2014Signatur: Wird geladen …DE-1046
Standort: Wird geladen …
Elektronisch E-Book -
4
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2000Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
5
Sourcebook on contract law von Oughton, David, Davis, Martin 1928-2023
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023
Veröffentlicht 1994Signatur: Wird geladen …DE-1046
Standort: Wird geladen …
URL des Erstveröffentlichers
Elektronisch E-Book -
7
Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8
Computability, complexity, and languages fundamentals of theoret. computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
Computability, complexity, and languages fundamentals of theoret. computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
Computability 1973 - 1974 von Davis, Martin 1928-2023
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
Lectures on modern mathematics von Davis, Martin 1928-2023
Veröffentlicht 1967Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15
Computability & unsolvability von Davis, Martin 1928-2023
Veröffentlicht 1958Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
Computability & unsolvability von Davis, Martin 1928-2023
Veröffentlicht 1958Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2018Signatur: Wird geladen …DE-91
Standort: Wird geladen …
Elektronisch E-Book -
18
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2018Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
19
The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023
Veröffentlicht 2012Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
20
Engines of logic mathematicians and the origin of the computer von Davis, Martin 1928-2023
Veröffentlicht 2001Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Berechenbarkeit
Automatentheorie
Formale Sprache
Komplexität
Theoretische Informatik
Künstliche Intelligenz
Turing-Maschine
Unlösbarkeit
Computer
Datenverarbeitung
Electronic digital computers History
Geschichte
Informatik
Mathematiker
Mathematische Logik
Algorithmus
Analysis
Erfindung
Fonctions calculables
Fonctions récursives
Nonstandard-Analysis
Wissenschaftsentwicklung
Computational complexity
Computers
Formal languages
Machine theory
combinatoire
décidabilité
fonction récursive
insolubilité