Login / Signup

Mechanical Theorem Proving in the Local Theory of Surfaces.

Ziming Li
Published in: Ann. Math. Artif. Intell. (1995)
Keyphrases