New Computational Paradigms Changing Conceptions of What is Computable /

New Computational Paradigms Changing Conceptions of What is Computable /

Bibliographic Details
Published in:	Springer e-books
Main Author:	Cooper, S. Barry
Corporate Author:	SpringerLink (Online service)
Other Authors:	Löwe, Benedikt, Sorbi, Andrea
Format:	eBook
Language:	English
Published:	New York, NY : Springer Science+Business Media, LLC, 2008.
Subjects:	Computer Science Information theory Logic, Symbolic and mathematical Quantum computing Math Applications in Computer Science Mathematical Logic and Foundations Philosophy Quantum Computing, Information and Physics Theory of Computation
Online Access:	http://dx.doi.org/10.1007/978-0-387-68546-5 Перейти в каталог НБ ТГУ

Similar Items

Constructivity and Computability in Historical and Philosophical Perspective
Published: (2014)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
by: Lupacchini, Rossella
Published: (2008)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Published: (2013)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Published: (2013)

A Short Course in Quantum Information Theory An Approach From Theoretical Physics /
by: Diósi, Lajos
Published: (2007)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /
Published: (2013)

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers /
by: Hutchison, David
Published: (2008)

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Published: (2013)

A Concise Introduction to Mathematical Logic
by: Rautenberg, Wolfgang
Published: (2006)

Laws of Nature
by: Mittelstaedt, Peter
Published: (2005)

Linearity, Symmetry, and Prediction in the Hydrogen Atom
by: Singer, Stephanie Frank
Published: (2005)

A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz
Published: (2005)

Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2014)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Published: (2014)

Quantum Walks and Search Algorithms
by: Portugal, Renato
Published: (2013)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
Published: (2013)

Notes on Set Theory
by: Moschovakis, Yiannis
Published: (2006)

Finite Model Theory
by: Ebbinghaus, Heinz-Dieter
Published: (2006)

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Published: (2014)

Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
Published: (2014)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
by: Lau, Dietlinde
Published: (2006)

Experimental Aspects of Quantum Computing
by: Everitt, Henry O.
Published: (2005)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
by: Carnielli, Walter
Published: (2008)

Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
by: Primiero, Giuseppe
Published: (2008)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Logica Universalis Towards a General Theory of Logic /
by: Beziau, Jean-Yves
Published: (2005)

Logica Universalis Towards a General Theory of Logic /
by: Beziau, Jean-Yves
Published: (2007)

Quantum Mechanics
by: Basdevant, Jean-Louis
Published: (2005)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
by: Carnielli, Walter
Published: (2008)

David Makinson on Classical Methods for Non-Classical Problems
Published: (2014)

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context /
Published: (2014)

The Arché Papers on the Mathematics of Abstraction
by: Cook, Roy T.
Published: (2008)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
by: Abrusci, Vito Michele, et al.
Published: (2014)

Constructive Negations and Paraconsistency
by: Odintsov, Sergei P.
Published: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
by: Benthem, Johan
Published: (2006)

Physical Theory and its Interpretation Essays in Honor of Jeffrey Bub /
by: Demopoulos, William
Published: (2006)

The Life and Work of Leon Henkin Essays on His Contributions /
Published: (2014)