Productive use of failure in inductive proof von Ireland, Andrew, Bundy, Alan

Extensions to a generalization critic for inductive proof von Ireland, Andrew, Bundy, Alan

Increasing the versatility of heuristic based theorem provers von Manning, Alistair, Ireland, Andrew, Bundy, Alan

On exploiting the structure of Martin-Löf's theory of types von Ireland, Andrew

Proof plans for the correction of false conjectures von Monroy, Paul, Bundy, Alan, Ireland, Andrew

The use of planning critics in mechanizing inductive proofs von Ireland, Andrew

Using failure to guode inductive proof von Ireland, Andrew, Bundy, Alan

Illuminating Torchwood essays on narrative, character and sexuality in the BBC series

Weitere Verfasser: “… Ireland, Andrew …”
Inhaltsverzeichnis