Learning and Geometry: Computational Approaches: Computational Approaches (Progress in Computer Science and Applied Logic

David Kueker , Carl Smith