New computational paradigms : changing conceptions of what is computable

QR Code

New computational paradigms : changing conceptions of what is computable

Bibliographic Details
Main Authors:	Cooper, S. B. [ (S. Barry)] (Author), Lowe, Benedikt (Author), Sorbi, Andrea , 1956- (Author)
Format:	Book
Published:	New York : Springer , c2008
Subjects:	Computable functions

Similar Items

Computability theory & automata theory
by: Plante, Kristy, et al.
Published: (2012)

Computability theory an introduction to recursion theory
by: Enderton, Herbert B.
Published: (2011)

Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993)

Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)

Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

A first course in computability theory
by: Plante, Kristy
Published: (2012)

Fuzzy rationality a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)

Handbook of satisfiability
by: Biere, Armin
Published: (2009)

Number [electronic resource] the language of science
by: Dantzig, Tobias 1884-1956, et al.
Published: (2005)

Algorithm and data structure concepts & applications
by: Gaither, Melonie
Published: (2014)

Automata and computability
by: Kozen, Dexter 1951-
Published: (1997)

Scientific computing and its applications
by: Cousins, Lorrie
Published: (2014)

An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)

Media theory interdisciplinary applied mathematics
by: Eppstein, David, et al.
Published: (2008)

How to think about algorithms
by: Edmonds, Jeff 1963-
Published: (2008)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)

An introduction to algorithmic information theory
by: Tolbert, Sheree
Published: (2014)

المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)

Basic discrete mathematics logic,set heory,and probability
by: Kohar, Richard

An introduction to lambda calculus [
by: Ricci, Raven
Published: (2014)

Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)

Handbook of mathematical induction theory and application
by: Gunderson, David S.
Published: (2011)

Pendekatan konstruktivisme radikal dalam pendidikan Matematik
by: Nik Azis Nik Pa
Published: (1999)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)

Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)

Fuzzy logic for beginners
by: Mukaidono, Masao 1942-
Published: (2001)

Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)

Computation as logic
by: Lalement, Rene
Published: (1993)

Automata, computability and complexity theory and applications
by: Rich, Elaine
Published: (2008)

Computational intelligence paradigms theory and applications using MATLAB
by: Sumathi, S. 1968-, et al.
Published: (2010)

Advanced intelligent paradigms in computer games
by: Baba, N. (Norio) 1946-, et al.
Published: (2007)

The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1993)

Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)

Introduction to functional programming
by: Bell, Alia
Published: (2014)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)

Pulmonary function testing a practical approach
by: Wanger, Jack
Published: (2012)

An introduction to functional grammar
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)