Theorema: Towards computer-aided mathematical theory exploration

, , , , , , , , , &
Journal of Applied Logic 4 (4):470-504 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Towards computer aided mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Editorial: Towards Computer Aided Mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 13.
Mathematical Models in the Health Sciences: A Computer-Aided Approach. [REVIEW]Dwight Hines - 1981 - Journal of Mind and Behavior 2 (1).
Symbioses between mathematical logic and computer science.Andreas Blass - 2016 - Annals of Pure and Applied Logic 167 (10):868-878.
Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp. [REVIEW]M. Yasuhara - 1988 - Journal of Symbolic Logic 53 (1):312-314.
39th International Conference of Education and Research in Computer Aided Architectural Design in Europe: Towards a new, configurable architecture.Sepehr Vaez Afshar, Sarvin Eshaghi, Guzden Varinlioglu & Ozgun Balaban (eds.) - 2021 - Novisad: Education and Research in Computer Aided Architectural Design in Europe.
Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.
Intelligent Data Mining of Computer-Aided Extension Residential Building Design Based on Algorithm Library.Gao Zhihui & Zou Guangtian - 2021 - Complexity 2021:1-9.
Book Review: On the Emergence of an Ecological Class: A Memo by Bruno Latour & Nikolaj Schultz. [REVIEW]Justin Simpson - forthcoming - Environmental Values.

Analytics

Added to PP
2016-06-30

Downloads
10 (#395,257)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.

Add more references