Annals of Mathematics and Artificial Intelligence, Volume 29

Volume 29, Numbers 1-4, 2000

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

Last update Fri May 25 08:53:07 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page