Trade‐off between information and computability: a technique for automated topological computations

Bibliographic Details
Main Authors: Saku, Suuriniemi, Lauri, Kettunen
Format: text
Language:eng
Published: Emerald 2003
Subjects: