Prueba automatica de teoremas: un panorama

Teorema: International Journal of Philosophy 14 (3-4):475-496 (1984)
  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,227

External links

  • This entry has no external links. Add one.
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

Los primeros intentos de prueba automática de teoremas en el cálculo de enunciados.Ana María de Torres - 1974 - Teorema: International Journal of Philosophy 4 (4):489-512.
Prueba automática para las lógicas LE, K, T y S4.Jaime Sarabia & Antonio Benítez - 1985 - Teorema: International Journal of Philosophy 15 (1):213-230.
Argumentación y prueba judicial.Daniel González Lagier - 2006 - In Jordi Ferrer Beltrán (ed.), Estudios Sobre la Prueba. Universidad Nacional Autónoma de México.
La valoración de la prueba: verdad de los enunciados probatorios y justificación de la decisión.Jordi FErrEr BEltrÁn - 2006 - In Jordi Ferrer Beltrán (ed.), Estudios Sobre la Prueba. Universidad Nacional Autónoma de México.
Tradução automática: os processos da tradução mediada por computador.Sílvia Gusmão Sales - 2011 - Saberes Em Perspectiva 1 (1):19-37.
Demostrar teoremas con forcing.Roger Bosch - 2003 - Teorema: International Journal of Philosophy 22 (3):17-36.
Apresentação a Panorama do progresso da sociedade na Europa, de William Robertson.Pedro Paulo Pimenta - 2010 - Cadernos de Ética E Filosofia Política 17:228-248.
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán - 2010 - Anales de la Cátedra Francisco Suárez 44:81-103.
M. Ferraris, La fidanzata automatica.C. Barbero - 2009 - Epistemologia 32 (1):155.
¿Concepto subjetivo o esencia objetiva y trascendente?: una interpretación fenomenológica del punto de partida del argumento ontológico.Ismael Martínez Liébana - 2005 - Estudios Filosóficos 54 (155):111-136.
Review: Gonzalo Zubieta Russi, Algunos Teoremas en la Teoria de la Cuantificacion Elemental. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
L'opera d'Arte come fidanzata automatica.Maurizio Ferraris - 2004 - Rivista di Estetica 44 (26):153-170.
Confección automática de tablas de verdad.R. Beneyto - 1977 - Teorema: International Journal of Philosophy 7 (2):167-174.
Dificultades para una traduccion automatica: el no-signo.J. Sanz Pascual - 1986 - Diálogo Filosófico 2 (5):148-156.
Dificultades para una traducción automática: el no-signo.Julián Sanz Pascual - 1986 - Diálogo Filosófico 5:148-156.

Analytics

Added to PP
2014-01-25

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references