Journals in DBLP

Ann. Math. Artif. Intell.
2002, volume: 36, number: 3

1. José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
   Formal Proofs About Rewriting Using ACL2. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:239-262 [Journal]
   
2. Jacques Calmet, Peter Kullmann, Morio Taneda
   Composite Distributive Lattices as Annotation Domains for Mediators. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:263-277 [Journal]
   
3. Jochen Pfalzgraf
   Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:279-301 [Journal]
   
4. Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
   Reasoning about the Elementary Functions of Complex Analysis. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:303-318 [Journal]