The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002