A general technique for automatically optimizing programs through the use of proof plans

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

On automatic differentiation and continuous optimization

Dixon, L
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--283) / BLDSC - B...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--644) / BLDSC - B...

Proof planning for imperative program development

Stark, J.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN032346 / BLDSC - British Library D...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

Proof planning A methodology for developing AI systems involving design

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--662) / BLDSC - B...

Proof planning for maintainable configuration systems

Lowe, H.
Pechoucek, M.
Bundy, A.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(878) / BLDSC - British Libra...

Learning method outlines in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(01/8) / BLDSC - British Lib...

Automatic differentiation and parallel processing in optimisation

Dixon, L.C.W
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--180) / BLDSC - Briti...

Control optimisation

Department of Energy, London (United Kingdom). Energy Efficiency Office

January 1990

Best Practice ProgrammeAvailable from British Library Document Supply Centre- DSC:6085.825(9) / BLDS...

Proof planning and maintainability of AI systems

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--663) / BLDSC - B...

Analogy-driven proof-plan construction

Melis, E
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--735) / BLDSC - B...

Optimal sure portfolio plans

Foldes, L
London School of Economics, (United Kingdom). Financial Markets Group

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:5300.405(LSE-FMG-DP--106) / BLDSC - ...

Optimisation approaches to scheduling problems

Woeste, C.
Centre for Achievement in Manufacturing Management (CAMM), Sunderland (United Kingdom)

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3016.276(2/1) / BLDSC - British Libra...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

On automatic differentiation and continuous optimization

Dixon, L
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--283) / BLDSC - B...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--644) / BLDSC - B...

Proof planning for imperative program development

Stark, J.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN032346 / BLDSC - British Library D...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

Proof planning A methodology for developing AI systems involving design

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--662) / BLDSC - B...

Proof planning for maintainable configuration systems

Lowe, H.
Pechoucek, M.
Bundy, A.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(878) / BLDSC - British Libra...

Learning method outlines in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(01/8) / BLDSC - British Lib...

Automatic differentiation and parallel processing in optimisation

Dixon, L.C.W
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--180) / BLDSC - Briti...

Control optimisation

Department of Energy, London (United Kingdom). Energy Efficiency Office

January 1990

Best Practice ProgrammeAvailable from British Library Document Supply Centre- DSC:6085.825(9) / BLDS...

Proof planning and maintainability of AI systems

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--663) / BLDSC - B...

Analogy-driven proof-plan construction

Melis, E
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--735) / BLDSC - B...

Optimal sure portfolio plans

Foldes, L
London School of Economics, (United Kingdom). Financial Markets Group

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:5300.405(LSE-FMG-DP--106) / BLDSC - ...

Optimisation approaches to scheduling problems

Woeste, C.
Centre for Achievement in Manufacturing Management (CAMM), Sunderland (United Kingdom)

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3016.276(2/1) / BLDSC - British Libra...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

On automatic differentiation and continuous optimization

Dixon, L
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--283) / BLDSC - B...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

A general technique for automatically optimizing programs through the use of proof plans

Abstract

Extracted data

Related items

Related items