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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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.
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.
Demostrar teoremas con forcing.Roger Bosch - 2003 - Teorema: International Journal of Philosophy 22 (3):17-36.
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.
Leopoldo Calvo-Sotelo y la Transición exterior: la prioridad europea.Pablo Pérez López & Jorge Lafuente del Cano - 2014 - Arbor 190 (769):a169.
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