Login / Signup

A Semi-Decision Procedure for the Functional Calculus.

Joyce Friedman
Published in: J. ACM (1963)
Keyphrases