Los primeros intentos de prueba automática de teoremas en el cálculo de enunciados

Teorema: International Journal of Philosophy 4 (4):489-512 (1974)
  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: 91,202

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

Prueba automatica de teoremas: un panorama.J. Cabrera Calvo-Sotelo - 1984 - Teorema: International Journal of Philosophy 14 (3-4):475-496.
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.
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.
Notas para una historia de la ciudadanía: los primeros intentos de participación de las mujeres en los espacios públicos.Ana Belén Álvarez Larrondo - forthcoming - Studia Philosophica.
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.
Ensayos sobre automática. Su definición. Extensión teórica y aplicaciones.Leonardo Torres Quevedo - 2003 - Teorema: International Journal of Philosophy 22 (1-2):9-31.
Dos textos anticipadores sobre máquinas algebráicas Y sobre automática.Quevedo Leonardo Torres - 1986 - Theoria 2 (1):7-9.
Ensayos sobre automática.-Su definición. Extensión teórica y aplicaciones.Leonardo Torres Quevedo - 2003 - Teorema: International Journal of Philosophy 22 (1):1009.
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.
Caracterización y calibración automática de bobinas de Heltmoltz en DC.Javier Ignacio Torres Osorio, Beatríz Cruz Muñoz & William Marín Ramírez - forthcoming - Scientia.
Juan Caramuel: su aportación al cálculo de probabilidades: un tributo en su IV Centenario.Camúñez Ruiz & José Antonio - 2007 - Huelva: Universidad de Huelva. Edited by Jesús Basulto Santos, García del Hoyo & Juan José.
Desarrollo y evolución del pensamiento del joven Heidegger.Jesús Adrián Escudero - 2013 - Estudios de Filosofía (Universidad de Antioquia) 11:59-75.
Leonardo Torres Quevedo, precursor de la moderna ciencia automática.Miguel Sánchez-Mazas Ferlosio - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):178-183.
Demostrar teoremas con forcing.Roger Bosch - 2003 - Teorema: International Journal of Philosophy 22 (3):17-36.

Analytics

Added to PP
2014-02-10

Downloads
2 (#1,755,150)

6 months
1 (#1,459,555)

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

No references found.

Add more references