Next:
Identifying Useful Theories
Up:
LOGICAL THEORIES AND AUTOMATED
Previous:
Generalisations of the
Towards Exploitation
Identifying Useful Theories
Establishing Programming Methodology
A G Cohn
Wed Nov 1 13:20:53 GMT 1995