Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]