Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings [Book Review]

(ed.)
New York: Springer (2010)
  Copy   BIBTEX

Abstract

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form.

Categories

Keywords

Reprint years

Call number

QA9.59.C67 2010

ISBN(s)

9783642139611   3642139612
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman & Stefan Szeider (eds.) - 2010 - Berlin: Springer.
Computation and automata.Arto Salomaa - 1985 - New York: Cambridge University Press.
Discovery science: 13th international conference, DS 2010, Canberra, Australia, October 6-8, 2010: proceedings.Bernhard Pfahringer, Geoffrey Holmes & Achim Hoffmann (eds.) - 2010 - New York: Springer.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
British society for the philosophy of science annual conference 2010 (dublin; july 8-9, 2010).Instructions Conference - unknown
Proceedings of International Conference on Challenges and Applications of Mathematics in Science and Technology: CAMIST, January 11-13, 2010.Snehashish Chakraverty (ed.) - 2010 - Delhi: Macmillan Publishers India.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
On a complexity-based way of constructivizing the recursive functions.F. W. Kroon & W. A. Burkhard - 1990 - Studia Logica 49 (1):133 - 149.
Proceeding of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010).Anthony Galton & Riichiro Mizoguchi (eds.) - 2010 - IOS Press.
Conference instructions for thought experiments: A workshop (halifax, ns; June 18-19, 2010).Instructions Conference - unknown
16th uk and european meeting on the foundations of physics (aberdeen, 5-7 july 2010).Instructions Conference - unknown
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.

Analytics

Added to PP
2012-05-31

Downloads
12 (#1,078,270)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references