Journals in DBLP

Ann. Math. Artif. Intell.
2000, volume: 29, number: 1-4

1. Bernhard Gramlich, Hélène Kirchner, Frank Pfenning
   Editorial: Strategies in Automated Deduction. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:- [Journal]
   
2. Patricia Johann, Eelco Visser
   Warm fusion in Stratego: A case study in generation of program transformation systems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:1-34 [Journal]
   
3. Carlos Castro, Peter Borovanský
   The use of a strategy language for solving search problems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:35-64 [Journal]
   
4. Andrew Ireland, Jamie Stark
   Proof planning for strategy development. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:65-97 [Journal]
   
5. Louise A. Dennis, Alan Bundy, Ian Green
   Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:99-138 [Journal]
   
6. Myla Archer
   TAME: Using PVS strategies for special-purpose theorem proving. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:139-181 [Journal]
   
7. Dieter Hutter
   Annotated reasoning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:183-222 [Journal]
   
8. Maria Paola Bonacina
   A taxonomy of parallel strategies for deduction. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:223-257 [Journal]