Journals in DBLP

Ann. Math. Artif. Intell.
1993, volume: 8, number: 3-4

1. Jean-Claude Latombe
   Geometry and Search in Motion Planning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:215-227 [Journal]
   
2. Marc Kirschenbaum, Leon Sterling, Ashish Jain
   Relating Logic Programs Via Program Maps. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:229-245 [Journal]
   
3. Paolo Carraresi, Giorgio Gallo, Gabriella Rago
   A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:247-270 [Journal]
   
4. Michel Gangnet, Burton Rosenberg
   Constraint Programming and Graph Algorithms. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:271-284 [Journal]
   
5. Feng Zhao
   Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:285-300 [Journal]
   
6. Paul A. Strooper, Maarten H. van Emden
   Describing Symmetrical Structures in Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:301-314 [Journal]
   
7. Divesh Srivastava
   Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:315-343 [Journal]
   
8. Fritz von Haeseler, Heinz-Otto Peitgen, Guentcho Skordev
   Cellular Automata, Matrix Substitutions and Fractals. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:345-362 [Journal]
   
9. Richard Barnett, David A. Basin, Jane Hesketh
   A Recursion Planning Analysis of Inductive Completion. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:363-381 [Journal]
   
10. Hantao Zhang, Gary Xin Hua
    Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:383-405 [Journal]
    
11. Kurt Ammon
    A Learning Procedure for Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:407-423 [Journal]
    
12. Dominique Pastre
    Automated Theorem Proving in Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:425-447 [Journal]
    
13. José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian
    Disjunctive LP + Integrity Constraints = Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:449-474 [Journal]
    
14. Alessandro Armando, Enrico Giunchiglia
    Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:475-502 [Journal]