Next: Identifying Useful Theories Up: LOGICAL THEORIES AND AUTOMATED Previous: Generalisations of the

Towards Exploitation

A G Cohn
Wed Nov 1 13:20:53 GMT 1995