Extensions to a generalization critic for inductive proof

Auxiliaries and the nature of generalisations in grammatical theory

Salkie, R.M.

January 1983

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

Labelled proof theory for conditional logic

Lamb, L. da Cunha

January 2000

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

Extension of functions and generalised metric spaces

Stares, I.S

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D181901 / BLDSC - British Library Do...

Extensions to the rippling-out tactic for guiding inductive proofs

Bundy, A.
Harmelen, F. van
Smaill, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1990

Available from British Library Document Supply Centre- DSC:3511.638(DAI-RP--459) / BLDSC - British L...

The use of planning critics in mechanizing inductive proofs

Ireland, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

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

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

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

Aspects of generalisation

Pothos, E.M.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:D201425 / BLDSC - British Library Doc...

Generalisations of automatic groups

Hillier, J.G.

January 1997

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

Using failure to guide inductive proof

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

January 1992

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

A subsumption architecture for theorem proving

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

January 1995

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

Extending the general theory into the medium run

Brothwell, J.F
Leeds Univ. (United Kingdom). School of Business and Economic Studies

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.9795(LU-SBES-DPS--90/7) / BLDSC...

Increasing the versatility of heuristic based theorem provers

Manning, A.
Ireland, A.
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--633) / BLDSC - B...

A new application for explanation-based generalisation with automated deduction

Baker, S.L
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--327) / BLDSC - Br...

Leverrier's algorithm A new proof and extensions

Barnett, S
Bradford Univ. (United Kingdom). School of Mathematical Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7673.7004(88/52) / BLDSC - British L...

Extensions of quantal problems

Acar, E.

January 2000

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

Auxiliaries and the nature of generalisations in grammatical theory

Salkie, R.M.

January 1983

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

Labelled proof theory for conditional logic

Lamb, L. da Cunha

January 2000

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

Extension of functions and generalised metric spaces

Stares, I.S

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D181901 / BLDSC - British Library Do...

Extensions to the rippling-out tactic for guiding inductive proofs

Bundy, A.
Harmelen, F. van
Smaill, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1990

Available from British Library Document Supply Centre- DSC:3511.638(DAI-RP--459) / BLDSC - British L...

The use of planning critics in mechanizing inductive proofs

Ireland, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

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

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

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

Aspects of generalisation

Pothos, E.M.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:D201425 / BLDSC - British Library Doc...

Generalisations of automatic groups

Hillier, J.G.

January 1997

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

Using failure to guide inductive proof

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

January 1992

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

A subsumption architecture for theorem proving

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

January 1995

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

Extending the general theory into the medium run

Brothwell, J.F
Leeds Univ. (United Kingdom). School of Business and Economic Studies

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.9795(LU-SBES-DPS--90/7) / BLDSC...

Increasing the versatility of heuristic based theorem provers

Manning, A.
Ireland, A.
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--633) / BLDSC - B...

A new application for explanation-based generalisation with automated deduction

Baker, S.L
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--327) / BLDSC - Br...

Leverrier's algorithm A new proof and extensions

Barnett, S
Bradford Univ. (United Kingdom). School of Mathematical Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7673.7004(88/52) / BLDSC - British L...

Extensions of quantal problems

Acar, E.

January 2000

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

Auxiliaries and the nature of generalisations in grammatical theory

Salkie, R.M.

January 1983

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

Labelled proof theory for conditional logic

Lamb, L. da Cunha

January 2000

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

Extension of functions and generalised metric spaces

Stares, I.S

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D181901 / BLDSC - British Library Do...

Extensions to a generalization critic for inductive proof

Abstract

Extracted data

Extensions to a generalization critic for inductive proof

Abstract

Extracted data

Related items

Related items