DMCA

Reasoning with Inductively Defined Relations in the HOL Theorem Prover (1992)

Cached

Download Links

by Juanito Camilleri Department , J. Camilleri , T. Melham , Reasoning Inductively Defined , Juanito Camilleri , Tom Melham