Systems of Computer-Aided Reasoning for Mathematics and Natural Language

In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 207--223 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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

Natural language interfaces and strategic computing.Geoffrey K. Pullum - 1987 - AI and Society 1 (1):47-58.
Emergence and Evolution of Natural Languages: New Mathematical and Algorithmic Perspectives.Edward G. Belaga - 2008 - In Proceedings of Language, Communication and Cognition International Conference, Brighton, August 4th-7th 2008.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
An Analytic Tableau System for Natural Logic.Reinhard Muskens - 2010 - In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104-113.
Syntactic semantics: Foundations of computational natural language understanding.William J. Rapaport - 1988 - In James H. Fetzer (ed.), Aspects of AI. Kluwer Academic Publishers.
Natural language understanding within a cognitive semantics framework.Inger Lytje - 1989 - AI and Society 4 (4):276-290.
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
Die Realität des Imaginären: Architektur Und Das Digitale Bild : 10. Internationales Bauhaus-Kolloquium Weimar 2007.Jörg H. Gleiter, Norbert Korrek & Gerd Zimmermann (eds.) - 2008 - Verlag der Bauhaus-Universität.
Expert systems: Lawyers beware!Ronald Stamper, James Backhouse & Karl Althaus - 1987 - Theoria 3 (1):317-340.
Computer‐aided disease prediction system: development of application software with SAS component language.Chi-Ming Chang, Hsu-Sung Kuo, Shu-Hui Chang, Hong-Jen Chang, Der-Ming Liou, Tabar Laszlo & Tony Hsiu-Hsi Chen - 2005 - Journal of Evaluation in Clinical Practice 11 (2):139-159.
Computer Models On Mind: Computational Approaches In Theoretical Psychology.Margaret A. Boden - 1988 - Cambridge University Press.
Toward computer-aided induction: a brief review of currently implemented AQVAL programs.Ryszard Stanisław Michalski - 1977 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Computer systems: Moral entities but not moral agents. [REVIEW]Deborah G. Johnson - 2006 - Ethics and Information Technology 8 (4):195-204.
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.

Analytics

Added to PP
2014-01-28

Downloads
11 (#1,155,335)

6 months
4 (#837,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Witold Marciszewski
Warsaw University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references