Journals in DBLP

Journal of Applied Non-Classical Logics
1995, volume: 5, number: 1

1. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
   Increasing the efficiency of automated theorem proving. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
   
2. José Júlio Alferes, Luís Moniz Pereira
   Belief, Provability, and Logic Programs. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
   
3. Heinrich Herre
   Generalized Compactness of Nonmonotonic Inference Operations. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
   
4. Stéphane Demri
   Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
   
5. Phan Minh Dung, Chandrabose Aravindan
   Knowledge base dynamics, Abduction and Databases updates. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
   
6. Joeri Engelfriet, Jan Treur
   Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]