Connecting a Logical Framework to a First-Order Logic Prover - Sciweavers

49

click to vote

more FROCOS 2005 ...

www2.tcs.ifi.lmu.de

Tweet