Détails du livre
Format
Relié
Pages
310
Langue
Anglais
Publié
Nov 1, 1992
Éditeur
Jai Pr
ISBN-10
1559383429
ISBN-13
9781559383424
Description
The sixth volume in the serial publication, "Advances in Computing Research". Topics contained include: the Roider method; perspective images of polyhedra for robot vision; a mechanization method of equations-solving and theorem-proving; and an introduction to the tangent cone algorithm.