Search Results for 'chk list'

chk list published presentations and documents on DocSlides.

Co-inductive logic programming and its applications

by faustina-dinatale

Overview. Induction vs. co-induction. Co-inductiv...