Vista normal Vista MARC Vista ISBD

A Handbook of proofs and theorems / edited by Maria Catherine C. Borres - 255 páginas : ilustraciones

ISBN: 9781680945881

Subjects--Topical Terms:
Teoría de la demostración
Demostración automática de teoremas

LC Class. No.: QA9.54 / H353