Andrew Stevens (stevens-an)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

Bundy, Alan, Stevens, Andrew, van Harmelen, Frank, Ireland, Andrew and Smail, Alan. 1993. “Rippling: A Heuristic for Guiding Inductive Proofs.” Artificial Intelligence 62(2): 185–253.