Martin Davis on Computability, Computational Logic, and Mathematical Foundations
106,99 €
Titel: Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Einband: Taschenbuch, Autor: Alberto Policriti, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 468, Maße: 235x155x26 mm, Gewicht: 703 g, Verkäufer: buch-mimpf, Schlagworte: Church-Turing Thesis Computational Logic DPLL and Satisfiability Solvers Essential Unification Hilbert's Tenth Problem Hyperarithmetical Sets mathematical foundations non-standard analysis quantum computing.
Jetzt bei Ebay:
