author : Mandayam Srivas
1
publication
Automatic inductive theorem proving using Prolog (Theoretical Computer Science, 1987) — Jieh Hsiang, Mandayam Srivas Automatic inductive theorem proving using Prolog (Theoretical Computer Science, 1987) — Jieh Hsiang, Mandayam Srivas