New computational paradigms : changing conceptions of what is computable
| Main Authors: | Cooper, S. B. [ (S. Barry)] (Author), Lowe, Benedikt (Author), Sorbi, Andrea , 1956- (Author) |
|---|---|
| Format: | Book |
| Published: |
New York :
Springer ,
c2008
|
| Subjects: |
Similar Items
Computability theory & automata theory
by: Plante, Kristy, et al.
Published: (2012)
by: Plante, Kristy, et al.
Published: (2012)
Computability theory an introduction to recursion theory
by: Enderton, Herbert B.
Published: (2011)
by: Enderton, Herbert B.
Published: (2011)
Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993)
by: Ben-Ari, M. 1948-
Published: (1993)
Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)
by: Neapolitan, Richard E., et al.
Published: (2011)
Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)
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)
by: Ensley, Douglas E., et al.
Published: (2006)
Computability and logic
by: Boolos, George, et al.
Published: (1980)
by: Boolos, George, et al.
Published: (1980)
A first course in computability theory
by: Plante, Kristy
Published: (2012)
by: Plante, Kristy
Published: (2012)
Fuzzy rationality a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)
by: Dompere, K. K.
Published: (2009)
Handbook of satisfiability
by: Biere, Armin
Published: (2009)
by: Biere, Armin
Published: (2009)
Number [electronic resource] the language of science
by: Dantzig, Tobias 1884-1956, et al.
Published: (2005)
by: Dantzig, Tobias 1884-1956, et al.
Published: (2005)
Algorithm and data structure concepts & applications
by: Gaither, Melonie
Published: (2014)
by: Gaither, Melonie
Published: (2014)
Automata and computability
by: Kozen, Dexter 1951-
Published: (1997)
by: Kozen, Dexter 1951-
Published: (1997)
Scientific computing and its applications
by: Cousins, Lorrie
Published: (2014)
by: Cousins, Lorrie
Published: (2014)
An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)
by: Malone, Sherwood
Published: (2014)
Media theory interdisciplinary applied mathematics
by: Eppstein, David, et al.
Published: (2008)
by: Eppstein, David, et al.
Published: (2008)
How to think about algorithms
by: Edmonds, Jeff 1963-
Published: (2008)
by: Edmonds, Jeff 1963-
Published: (2008)
Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)
by: Mendelson, Elliott
Published: (1979)
An introduction to algorithmic information theory
by: Tolbert, Sheree
Published: (2014)
by: Tolbert, Sheree
Published: (2014)
المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)
by: زيدان، محمود فهمى, et al.
Published: (2007)
Basic discrete mathematics logic,set heory,and probability
by: Kohar, Richard
by: Kohar, Richard
An introduction to lambda calculus [
by: Ricci, Raven
Published: (2014)
by: Ricci, Raven
Published: (2014)
Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)
by: Chiswell, Ian 1948-, et al.
Published: (2007)
Handbook of mathematical induction theory and application
by: Gunderson, David S.
Published: (2011)
by: Gunderson, David S.
Published: (2011)
Pendekatan konstruktivisme radikal dalam pendidikan Matematik
by: Nik Azis Nik Pa
Published: (1999)
by: Nik Azis Nik Pa
Published: (1999)
Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)
by: Rosni Abdullah, et al.
Published: (2000)
Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)
by: Hamidah Abd Hamid
Published: (1991)
Fuzzy logic for beginners
by: Mukaidono, Masao 1942-
Published: (2001)
by: Mukaidono, Masao 1942-
Published: (2001)
Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)
by: Yan, Jun, et al.
Published: (1994)
Computation as logic
by: Lalement, Rene
Published: (1993)
by: Lalement, Rene
Published: (1993)
Automata, computability and complexity theory and applications
by: Rich, Elaine
Published: (2008)
by: Rich, Elaine
Published: (2008)
Computational intelligence paradigms theory and applications using MATLAB
by: Sumathi, S. 1968-, et al.
Published: (2010)
by: Sumathi, S. 1968-, et al.
Published: (2010)
Advanced intelligent paradigms in computer games
by: Baba, N. (Norio) 1946-, et al.
Published: (2007)
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)
by: Floyd, Robert W.
Published: (1993)
Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)
by: Zabidin Salleh
Published: (2015)
Introduction to functional programming
by: Bell, Alia
Published: (2014)
by: Bell, Alia
Published: (2014)
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)
by: Hein, James L.
Published: (2010)
Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)
Pulmonary function testing a practical approach
by: Wanger, Jack
Published: (2012)
by: Wanger, Jack
Published: (2012)
An introduction to functional grammar
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)
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)