Annals of Mathematics and Artificial Intelligence, Volume 29

Volume 29, Numbers 1-4, 2000

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