default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 29

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 29, Numbers 1-4, 2000

- view
  authority control:
- export record
  dblp key:
  - journals/amai/GramlichKP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GramlichKP00
Bernhard Gramlich, Hélène Kirchner, Frank Pfenning:
Editorial: Strategies in Automated Deduction.
- view
  authority control:
- export record
  dblp key:
  - journals/amai/JohannV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/JohannV00
Patricia Johann, Eelco Visser:
Warm fusion in Stratego: A case study in generation of program transformation systems. 1-34
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CastroB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CastroB00
Carlos Castro, Peter Borovanský:
The use of a strategy language for solving search problems. 35-64
- view
  authority control:
- export record
  dblp key:
  - journals/amai/IrelandS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/IrelandS00
Andrew Ireland, Jamie Stark:
Proof planning for strategy development. 65-97
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DennisBG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DennisBG00
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
  authority control:
- export record
  dblp key:
  - journals/amai/Archer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Archer00
Myla Archer:
TAME: Using PVS strategies for special-purpose theorem proving. 139-181
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Hutter00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Hutter00
Dieter Hutter:
Annotated reasoning. 183-222
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Bonacina00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Bonacina00
Maria Paola Bonacina:
A taxonomy of parallel strategies for deduction. 223-257

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.