Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Dieter Hutter Annotated reasoning. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:183-222 [Journal ] 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 ]