Martin Davis

Martin Davis, vor 2010 mini|Martin Davis, vor 2010

Martin 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 37 für Suche 'Davis, Martin 1928-2023', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Bannō konpyūta : Raipunittsu kara Chūringu e no michisuji /

    Bannō konpyūta : Raipunittsu kara Chūringu e no michisuji /
    万能コンピュータ : ライプニッツからチューリングへの道すじ /
    von Davis, Martin, 1928-2023

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The universal computer the road from Leibniz to Turing

    The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The universal computer the road from Leibniz to Turing

    The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023

    Veröffentlicht 2018
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The universal computer the road from Leibniz to Turing

    The universal computer the road from Leibniz to Turing von Davis, Martin 1928-2023

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Mathematicians and the origin of the Computer the road from Leibniz to Turing

    Mathematicians and the origin of the Computer the road from Leibniz to Turing von Davis, Martin 1928-2023

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Engines of logic mathematicians and the origin of the computer

    Engines of logic mathematicians and the origin of the computer von Davis, Martin 1928-2023

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Sourcebook on contract law

    Sourcebook on contract law von Oughton, David, Davis, Martin 1928-2023

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Computability & unsolvability

    Computability & unsolvability von Davis, Martin 1928-2023

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Prikladnoj nestandardnyi analiz

    Prikladnoj nestandardnyi analiz von Davis, Martin 1928-2023

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Applied nonstandard analysis

    Applied nonstandard analysis von Davis, Martin 1928-2023

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A first course in functional analysis

    A first course in functional analysis von Davis, Martin 1928-2023

    Veröffentlicht 1966
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A first course in functional analysis

    A first course in functional analysis von Davis, Martin 1928-2023

    Veröffentlicht 1966
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Computability, complexity, and languages fundamentals of theoretical computer science

    Computability, complexity, and languages fundamentals of theoretical computer science von Davis, Martin 1928-2023, Sigal, Ron, Weyuker, Elaine J.

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Computability, complexity, and languages fundamentals of theoret. computer science

    Computability, complexity, and languages fundamentals of theoret. computer science von Davis, Martin 1928-2023, Weyuker, Elaine J.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Computability and unsolvability

    Computability and unsolvability von Davis, Martin 1928-2023

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Computability and unsolvability

    Computability and unsolvability von Davis, Martin 1928-2023

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Prikladnoj nestandartnyj analiz

    Prikladnoj nestandartnyj analiz von Davis, Martin 1928-2023

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Applied nonstandard analysis

    Applied nonstandard analysis von Davis, Martin 1928-2023

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Computability and unsolvability

    Computability and unsolvability von Davis, Martin 1928-2023

    Veröffentlicht 1958
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science

    Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science von Davis, Martin 1928-2023

    Veröffentlicht 2014
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: