Cargando…

Computability Theory

Detalles Bibliográficos
Autor principal:	Enderton, Herbert
Lenguaje:	eng
Publicado:	Academic Press 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2726140

Ejemplares similares

Elements of set theory
por: Enderton, Herbert B
Publicado: (1977)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

Una introducción matemática a la lógica
por: Enderton, Herbert B.

A mathematical introduction to logic
por: Enderton, Herbert B.

Computers in number theory
por: Churchhouse, R F
Publicado: (1988)

Theory and Application of Computational Chemistry
por: Wei, Dong-Qing, et al.
Publicado: (2009)

Geospatial algebraic computations: theory and applications
por: Awange, Joseph, et al.
Publicado: (2016)

Workshop on Theory of Quantum Computation, Communication, and Cryptography
Publicado: (2006)

37th ACM Symposium on Theory of Computing
Publicado: (2005)

Recent progress of the computational methods in field theory
por: Pusterla, M, et al.
Publicado: (1973)

Recent advances in computer vision: theories and applications
por: Hassaballah, Mahmoud, et al.
Publicado: (2019)

Advanced intelligent computing theories and applications: with aspects of contemporary intelligent computing techniques
por: Huang, De-Shuang, et al.
Publicado: (2008)

Computer algebra and polynomials: applications of algebra and number theory
por: Gutierrez, Jaime, et al.
Publicado: (2015)

Theory of evolutionary computation: recent developments in discrete optimization
por: Doerr, Benjamin, et al.
Publicado: (2019)

Hybrid soft computing models applied to graph theory
por: Akram, Muhammad, et al.
Publicado: (2019)

Applied graph theory in computer vision and pattern recognition
por: Kandel, Abraham, et al.
Publicado: (2007)

2nd International Conference on Computer Vision Theory and Applications
Publicado: (2007)

Computer graphics through OpenGL®: from theory to experiments
por: Guha, Sumanta
Publicado: (2019)

Topics in rough set theory: current applications to granular computing
por: Akama, Seiki, et al.
Publicado: (2019)

Nature-inspired computation and swarm intelligence: algorithms, theory and applications
por: Yang, Xin-She
Publicado: (2020)

Computational topology: an introduction
por: Edelsbrunner, Herbert, et al.
Publicado: (2010)

Analytic approach of dynamic aperture by secular perturbation theory
por: Hagel, J, et al.
Publicado: (1988)

Quantum Interference and Coherence: Theory and Experiments
por: Ficek, Zbigniew, et al.
Publicado: (2005)

Advanced intelligent computing theories and applications: 6th international conference on intelligent computing, Changsha, China, August 18-21, 2010 proceedings
por: Huang, De-Shuang, et al.
Publicado: (2010)

Computer science - theory and applications: 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, proceedings
por: van Bevern, René, et al.
Publicado: (2019)

Computer science -- theory and applications: 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, proceedings
por: Beklemishev, Lev D, et al.
Publicado: (2015)

Computer science - theory and applications: 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, proceedings
por: Fomin, Fedor V, et al.
Publicado: (2018)

Advanced intelligent computing theories and applications with aspects of artificial intelligence: fourth international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15-18, 2008, proceedings
por: Huang, De-Shuang, et al.
Publicado: (2008)

Graph theory, computational intelligence and thought: essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday
por: Lipshteyn, Marina, et al.
Publicado: (2009)

Computer vision, imaging and computer graphics theory and applications: 10th international joint conference, VISIGRAPP 2015, Berlin, Germany, March 11-14, 2015, revised selected papers
por: Braz, José, et al.
Publicado: (2016)

Computer vision, imaging and computer graphics theory and applications: 11th international joint conference, VISIGRAPP 2016, Rome, Italy, February 27 - 29, 2016, revised selected papers
por: Braz, José, et al.
Publicado: (2017)

Mathematical theories of machine learning: theory and applications
por: Shi, Bin, et al.
Publicado: (2019)

Progress of String Theory and Quantum Field Theory
Publicado: (2007)

Workshop on Quantum Field Theory and Representation Theory
Publicado: (2007)

Game theory and fisheries management: theory and applications
por: Grønbæk, Lone, et al.
Publicado: (2020)

Postpartum Acquired Hemophilia: A Rare Cause of Postpartum Hemorrhage
por: Seethala, Srikanth, et al.
Publicado: (2013)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Computer vision, imaging and computer graphics theory and applications: 14th international joint conference, VISIGRAPP 2019, Prague, Czech Republic, February 25-27, 2019, revised selected papers
por: Cláudio, Ana-Paula, et al.
Publicado: (2020)

Computer vision, imaging and computer graphics theory and applications: 13th international joint conference, VISIGRAPP 2018 Funchal-Madeira, Portugal, January 27-29, 2018, revised selected papers
por: Bechmann, Dominique, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_v13s61oucohje0dr6idq2jo9ja