Andrea Sorbi – författare
Visar alla böcker från författaren Andrea Sorbi. Handla med fri frakt och snabb leverans.
11 produkter
Complexity, Logic, and Recursion Theory
Av Andrea Sorbi
Inbunden, 2019
3063 kr
Lägg i varukorg
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Inbunden, 2007
1636 kr
Lägg i varukorg
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive …
New Computational Paradigms
Changing Conceptions of What is Computable
Av Andrea Sorbi, Benedikt Lowe m. fl.
E-bok, 2007
2111 kr
Lägg i varukorg
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive …
Complexity, Logic, and Recursion Theory
Av Andrea Sorbi
E-bok, 2019
4848 kr
Lägg i varukorg
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive …
Complexity, Logic, and Recursion Theory
Av Andrea Sorbi
E-bok, 2019
4848 kr
Lägg i varukorg
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
COMPUTABILITY IN CONTEXT: COMPUTATION AND LOGIC IN THE REAL WORLD
Av Cooper S Barry, S Barry Cooper m. fl.
Inbunden, 2011
2243 kr
Lägg i varukorg
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, …
Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Av Barry S. Cooper, Benedikt Löwe m. fl.
Häftad, 2007
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.
Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Av Andrea Sorbi, Benedikt Lowe m. fl.
E-bok, 2007
1459 kr
Lägg i varukorg
COMPUTING WITH INCOMPLETE INFORMATION: THE MATHEMATICS OF ENUMERATION AND POSITIVE REDUCIBILITIES
Av S Barry Cooper, Andrea Sorbi m. fl.
Inbunden, 2027
2069 kr
Kommande
This book aims to provide a unique introduction to the mathematics of computing with imperfect information. This rapidly developing field has been represented by a growing number of diverse contributions to academic journals and the proceedings of international conferences. The aim here is to bring …
Complexity, Logic, and Recursion Theory
Av Andrea Sorbi
Häftad, 1997
2869 kr
Tillfälligt slut
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
