Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Formal studies of structural induction

Valentine, S.
York Univ. (United Kingdom). Dept. of Computer Science

Publication date

January 2000

Abstract

SIGLEAvailable from British Library Document Supply Centre-DSC:7624.255(326(2000)) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Related items

Automated structural test data generation

Cousins, M.A

January 1995

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

Research evaluation of HM National Induction Centre, Shotts

Scottish Prison Service, Edinburgh (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8211.089(no 3/2001) / BLDSC - British...

Diophantine and parameter-free induction

Kaye, R.W

January 1987

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

Bicontexts and structural induction

Livesey, M.J

January 1986

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

Induction and the dynamics of belief

Hild, M.

January 1997

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

Computer assisted learning of structural analysis

Oxley, A

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D44499/83 / BLDSC - British Library ...

Studies of some insertion compounds

Claridge, D.A

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67714/86 / BLDSC - British Library ...

Models of open induction

Otero, M

January 1991

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

Backward induction and rationality

Binmore, K
University Coll., London (United Kingdom). Dept. of Economics

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.7738(UCL-DE-DP--95-10) / BLDSC ...

Student induction in practice

Frame, P.
Staff and Educational Development Association (SEDA), Birmingham (United Kingdom)

January 2001

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

Structural Analysis Unit

Transport and Road Research Lab. (TRRL), Crowthorne (United Kingdom)

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:5179.06(TRRL-LF--1039) / BLDSC - Bri...

How to solve it by induction

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

The creation of rule trees using induction

Mingers, J
Warwick Univ., Coventry (United Kingdom). Inst. for Management Research and Development

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:9261.9644(WU-WPM--23) / BLDSC - Brit...

Induction in colleges of further education

Gartside, P.
Allan, J
Further Education Staff Coll., Bristol (United Kingdom)

January 1989

6.00SIGLEAvailable from British Library Document Supply Centre- DSC:3463.881(21/3) / BLDSC - British...

Explanatory structures in natural and human science

Greenwood, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39478/82 / BLDSC - British Library ...

Automated structural test data generation

Cousins, M.A

January 1995

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

Research evaluation of HM National Induction Centre, Shotts

Scottish Prison Service, Edinburgh (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8211.089(no 3/2001) / BLDSC - British...

Diophantine and parameter-free induction

Kaye, R.W

January 1987

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

Bicontexts and structural induction

Livesey, M.J

January 1986

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

Induction and the dynamics of belief

Hild, M.

January 1997

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

Computer assisted learning of structural analysis

Oxley, A

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D44499/83 / BLDSC - British Library ...

Studies of some insertion compounds

Claridge, D.A

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67714/86 / BLDSC - British Library ...

Models of open induction

Otero, M

January 1991

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

Backward induction and rationality

Binmore, K
University Coll., London (United Kingdom). Dept. of Economics

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.7738(UCL-DE-DP--95-10) / BLDSC ...

Student induction in practice

Frame, P.
Staff and Educational Development Association (SEDA), Birmingham (United Kingdom)

January 2001

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

Structural Analysis Unit

Transport and Road Research Lab. (TRRL), Crowthorne (United Kingdom)

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:5179.06(TRRL-LF--1039) / BLDSC - Bri...

How to solve it by induction

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

The creation of rule trees using induction

Mingers, J
Warwick Univ., Coventry (United Kingdom). Inst. for Management Research and Development

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:9261.9644(WU-WPM--23) / BLDSC - Brit...

Induction in colleges of further education

Gartside, P.
Allan, J
Further Education Staff Coll., Bristol (United Kingdom)

January 1989

6.00SIGLEAvailable from British Library Document Supply Centre- DSC:3463.881(21/3) / BLDSC - British...

Explanatory structures in natural and human science

Greenwood, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39478/82 / BLDSC - British Library ...

Automated structural test data generation

Cousins, M.A

January 1995

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

Research evaluation of HM National Induction Centre, Shotts

Scottish Prison Service, Edinburgh (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8211.089(no 3/2001) / BLDSC - British...

Diophantine and parameter-free induction

Kaye, R.W

January 1987

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