default search action
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. - 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
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.