Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover (1991)

Cached

Download Links

by Elsa L. Gunter
Venue:Extensions of Logic Programming: International Workshop, Tubingen FRG
Citations:7 - 0 self