Ojeda-aciego Manuel 1, Brewka Gerhard 2, de Guzman inma P. 1, Pereira Luis moniz 3

Studia Logica 72 (1):3-5 (2002)
  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,758

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

Increasing the efficiency of automated theorem proving.Gabriel Aguilera, Inma P. de Guzmán & Manuel Ojeda - 1995 - Journal of Applied Non-Classical Logics 5 (1):9-29.
** A Incidência da Inteligência Artificial na Lógica.Luís Moniz Pereira - 2001 - Disputatio (10):43-64.
Relational approach to order-of-magnitude reasoning.Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 105--124.
Pensamento crítico.Luís Moniz Pereira - 2007 - Critica.
A temporal negative normal form which preserves implicants and implicates.Pablo Cordero, Manuel Enciso & Inma P. de Guzmán - 2000 - Journal of Applied Non-Classical Logics 10 (3):243-272.
Editorial.David Pearce & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):i-i.
Knowledge assimilation in domains of actions: a possible causes approach.Renwei Li & Luís Moniz Pereira - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):77-116.
Belief, provability, and logic programs.José Júlio Alferes & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):31-50.
Satisfiability Testing for Boolean Formulas Using Δ-Trees.G. Gutiérrez, I. P. De Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde - 2002 - Studia Logica 72 (1):85 - 112.
Satisfiability testing for Boolean formulas using δ-trees.G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde - 2002 - Studia Logica 72 (1):85 - 112.
Prueba testifical.Jorge Ojeda Velázquez - 2008 - In Ricardo Franco Guzmán (ed.), Homenaje a Ricardo Franco Guzmán: 50 años de vida académica. México, D.F.: Instituto Nacional de Ciencias Penales.
Declarative Representation of Revision Strategies.Gerhard Brewka - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):151-167.

Analytics

Added to PP
2014-03-24

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