Ebók

Computability and Complexity in Analysis

4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

Jens Blanck; ‎Vasco Brattka; ‎Peter Hertling

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Computability and Complexity in Analysis

Finn líknandi bøkur her

Handbook of Computability and Complexity in Analysis

529,95 kr.

A First Course in Logic

Shawn Hedman

619,95 kr.

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov and Frances Rosa

374,95 kr.

Computability and Complexity Theory

Steven Homer; Alan L. Selman

639,95 kr.

Computability and Logic

George S. Boolos; John P. Burgess; Richard C. Jeffrey

299,95 kr.

Computability and Randomness

AndrÃ© Nies

384,95 kr.

Turing Computability

Robert I. Soare

449,95 kr.

Automata and Computability

Ganesh Gopalakrishnan

434,95 kr.

Proofs and Algorithms

Gilles Dowek

259,95 kr.

Initial Computability, Algebraic Specifications, and Partial Algebras

Horst Reichel

899,95 kr.

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Eugenio G. Omodeo

829,95 kr.

Unity of Logic and Computation

529,95 kr.