Proof planning and maintainability of AI systems

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Intelligence systems for business planning

Drabble, B.
Beck, H
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--178) / BLDSC -...

AI methods in statistics

Phelps, B. (ed.)
Unicom Seminars Ltd., Uxbridge (United Kingdom)

January 1986

SIGLEAvailable from British Library Document Supply Centre- DSC:87/13966(AI) / BLDSC - British Libra...

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...

Clear thinking about artificial intelligence

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--587) / BLDSC - B...

Reasoning about actions and plans in artificial intelligence and engineering

Li, H

January 1992

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

Artificial intelligence and product creation An AI-based view

Smithers, T
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--342) / BLDSC - Brit...

The effective management of expertise in artificial intelligence

Fleck, J
Edinburgh Univ. (United Kingdom). Dept. of Business Studies

January 1992

Available from British Library Document Supply Centre- DSC:9350.1075(EU-DBS-WP--92/6) / BLDSC - Brit...

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 - ...

Artificial intelligence Thought and content

Boyce, G.J.

January 1997

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

Proof planning for imperative program development

Stark, J.

January 2000

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

The commercialization of artificial intelligence in the UK

Cornwall-Jones, K

January 1990

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

Artificial intelligence in business Development, integration and organizational issues

O'Leary, D.E.
Kingston, J
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--166) / BLDSC -...

Prospects for artificial intelligence

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--677) / BLDSC - B...

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Intelligence systems for business planning

Drabble, B.
Beck, H
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--178) / BLDSC -...

AI methods in statistics

Phelps, B. (ed.)
Unicom Seminars Ltd., Uxbridge (United Kingdom)

January 1986

SIGLEAvailable from British Library Document Supply Centre- DSC:87/13966(AI) / BLDSC - British Libra...

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...

Clear thinking about artificial intelligence

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--587) / BLDSC - B...

Reasoning about actions and plans in artificial intelligence and engineering

Li, H

January 1992

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

Artificial intelligence and product creation An AI-based view

Smithers, T
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--342) / BLDSC - Brit...

The effective management of expertise in artificial intelligence

Fleck, J
Edinburgh Univ. (United Kingdom). Dept. of Business Studies

January 1992

Available from British Library Document Supply Centre- DSC:9350.1075(EU-DBS-WP--92/6) / BLDSC - Brit...

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 - ...

Artificial intelligence Thought and content

Boyce, G.J.

January 1997

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

Proof planning for imperative program development

Stark, J.

January 2000

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

The commercialization of artificial intelligence in the UK

Cornwall-Jones, K

January 1990

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

Artificial intelligence in business Development, integration and organizational issues

O'Leary, D.E.
Kingston, J
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--166) / BLDSC -...

Prospects for artificial intelligence

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--677) / BLDSC - B...

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Intelligence systems for business planning

Drabble, B.
Beck, H
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--178) / BLDSC -...

AI methods in statistics

Phelps, B. (ed.)
Unicom Seminars Ltd., Uxbridge (United Kingdom)

January 1986

SIGLEAvailable from British Library Document Supply Centre- DSC:87/13966(AI) / BLDSC - British Libra...

Proof planning and maintainability of AI systems

Abstract

Extracted data

Proof planning and maintainability of AI systems

Abstract

Extracted data

Related items

Related items