The Calculemus Midterm Report

& (eds.)
Saarland University, Germany (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

The Calculemus Final Report.Christoph Benzmüller & Corinna Hahn - 2004 - Saarland University, Germany.
Calculemus-Ii: Computer-Supported Mathematical Knowledge Evolution.Benzmüller Christoph & Hutter Dieter - 2003 - Saarland University, Germany.
Editorial: Towards Computer Aided Mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings.Jacques Calmet, International Conference on Artificial Intelligence and Symbolic Mathematical Computation & Calculemus - 2002 - Springer Verlag.
On Fuzziness and Ordinary Reasoning.María G. Navarro - 2013 - Studies in Fuzziness and Soft Computing 216 (463):468.
Agent based Mathematical Reasoning.Christoph Benzmüller, Mateja Jamnik, Manfred Kerber & Volker Sorge - 1999 - Electronic Notes in Theoretical Computer Science, Elsevier 23 (3):21-33.
Calculemus.William H. Friedman - 1980 - Notre Dame Journal of Formal Logic 21 (1):166-174.
Calculemus!: Zum egoistischen Helden im Roman der Frühen Neuzeit.Eric Achermann - 2016 - In Gideon Stiening, Cornelia Rémi & Frieder von Ammon (eds.), Literatur Und Praktische Vernunft. De Gruyter. pp. 147-172.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
People are infinitary symbol systems: No sensorimotor capacity necessary.Selmer Bringsjord - 2001
Microfeature Based.Ron Sun - unknown
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.
Legal idioms: a framework for evidential reasoning.David A. Lagnado, Norman Fenton & Martin Neil - 2013 - Argument and Computation 4 (1):46 - 63.
On Some Properties of Humanly Known and Humanly Knowable Mathematics.Jason L. Megill, Tim Melvin & Alex Beal - 2014 - Axiomathes 24 (1):81-88.

Analytics

Added to PP
2017-12-04

Downloads
8 (#1,243,760)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references