Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

benoitstpierre church-thesis [5 articles]

Recent papers added to benoitstpierre library classified by the tag church-thesis. You can also see everyone's church-thesis.
  • A Natural Axiomatization of Church Thesis
    (2007)
    by Nashum Dershowitz
    posted to church-thesis by benoitstpierre on 2008-02-20 02:14:50 as ***
  • The narrational case against Church's thesis
    (1998)
    by S Bringsjord
    posted to church-thesis by benoitstpierre on 2008-02-20 00:02:19 as ***
  • Reflections on Church Thesis
    Notre Dame of Formal Logic, Vol. 28, No. 4. (1987)
    by Stephen C Kleene
    posted to church-thesis by benoitstpierre on 2008-02-19 21:26:09 as read
  • The Broad Conception of Computation
    American Behavioral Scientist, Vol. 40, No. 6. (1 May 1997), pp. 690-716.
    by Jack B Copeland
    posted to church-thesis by benoitstpierre on 2008-02-19 21:23:39 as *** along with 1 person superpyrin
  • A Note on the Entscheidungsproblem
    The Journal of Symbolic Logic, Vol. 1 (1936), pp. 40-41.
    by Alonzo Church
    posted to church-thesis by benoitstpierre on 2007-08-18 14:10:54 as ** along with 1 group CLIC
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/benoitstpierre/tag/church-thesis

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.