Journals in DBLP

J. Log. Program.
1990, volume: 9, number: 2&3

1. Grigori Mints, Enn Tyugu
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:139-140 [Journal]
   
2. I. O. Babaev
   Problem Specification and Program Synthesis in the System SPORA. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:141-157 [Journal]
   
3. Max I. Kanovich
   Efficient Program Synthesis in Computational Models. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:159-177 [Journal]
   
4. Grigori Mints, Enn Tyugu
   Propositional Logic Programming and Priz System. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:179-193 [Journal]
   
5. V. J. Mikhailov, N. K. Zamov
   Deductive Synthesis of Solutions for Technological Tasks. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:195-220 [Journal]
   
6. Efim B. Kinber, Alvis Brazma
   Models of Inductive Synthesis. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:221-233 [Journal]
   
7. S. N. Vassilyev
   Machine Synthesis of Mathematical Theorems. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:235-266 [Journal]
   
8. Vladimir S. Neiman
   Refutation Search for Horn Sets by a Subgoal-Extraction Method. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:9, n:2&3, pp:267-284 [Journal]