19 resultados para Computer-Assisted Proofs
em University of Michigan
Resumo:
Thesis (M.S.)--University of Illinois at Urbana-Champaign.
Resumo:
"PB 82-190455."
Resumo:
"October 1983"--P. [1]
Resumo:
Shipping list no.: 90-577-P.
Resumo:
Includes bibliographical references.
Resumo:
"February, 1969"
Resumo:
Mode of access: Internet.
Resumo:
Thesis (M. S.)--University of Illinois at Urbana-Champaign.
Resumo:
Includes bibliographical references.
Resumo:
Includes bibliographical references.
Resumo:
Originally presented as the author's thesis (M.A.), University of Illinois at Urbana-Champaign.
Resumo:
Thesis (M.S.)--University of Illinois at Urbana-Champaign.
Resumo:
Thesis (M. S.)--University of Illinois at Urbana-Champaign.
Resumo:
Mode of access: Internet.
Resumo:
Thesis--University of Illinois at Urbana-Champaign.