Verifying textbook proofs (1998)

by Claus Zinn , Lehrstuhl Für Künstliche Intelligenz , Universität Erlangen-nürnberg
Venue:Technische Universität
Citations:3 - 3 self