|
Journals in DBLP
- Marin Vlada
Algorithms for Testing Satisfiability Formulas. [Citation Graph (0, 0)][DBLP] Artif. Intell. Rev., 2001, v:15, n:3, pp:153-163 [Journal]
- Koen Bertels, L. Neuberg, Stamatis Vassiliadis, D. G. Pechanek
On Chaos and Neural Networks: The Backpropagation Paradigm. [Citation Graph (0, 0)][DBLP] Artif. Intell. Rev., 2001, v:15, n:3, pp:165-187 [Journal]
- Jixin Ma, Brian Knight
Reified Temporal Logics: An Overview. [Citation Graph (0, 0)][DBLP] Artif. Intell. Rev., 2001, v:15, n:3, pp:189-217 [Journal]
- Kwang Mong Sim
Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. [Citation Graph (0, 0)][DBLP] Artif. Intell. Rev., 2001, v:15, n:3, pp:219-240 [Journal]
|