Diophantine and parameter-free induction | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

The computer solution of diophantine equations

Smart, N.P

January 1992

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

Studies on diophantine equations

Lee, E.J

January 1991

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

Formal studies of structural induction

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

January 2000

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