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: 93,127

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.Antonio BenÍtez & Telos Staff - 1985 - Teorema: International Journal of Philosophy 15 (1/2):213.
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.
Confección automática de tablas de verdad.R. Beneyto - 1977 - Teorema: International Journal of Philosophy 7 (2):167-174.
Demostrar teoremas con forcing.Roger Bosch - 2003 - Teorema: International Journal of Philosophy 22 (3):17-36.
El Crimen Que Desató La Guerra Civil. De Cómo Un Comando Policiaco Socialista Secuestró Y Asesinó A Calvo Sotelo, Líder De La Derecha Española.Alfredo Semprún - 2006 - Revista Agustiniana 47:636-637.
El principio de resolución de Robinson en prueba automática.M. C. Martínez Vidal - 1985 - Agora 5:213.
Blas Cabrera y Julio Palacios: pensamientos opuestos ante la Teoría de la Relatividad.F. GonzÁlez De Posada - 2005 - Teorema: International Journal of Philosophy 24 (2).
Poemas y Teoremas.Gustavo Bueno - 2009 - El Catoblepas: Revista Crítica Del Presente.
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.

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