Search alternatives:
"prove" » "proven"
Cover Image
Read Now

1
by Gao, Xiao-Shan
Published 2000
Academic Press
Subjects: “...Automatic theorem proving / fast / (OCoLC)fst00822777...”