Automated Meta-Theory Induction in Pure Mathematics (2008)

First Author: Torres. P
Attributed to:  Enhancing Objet Trouve Methods in Graphic Design (A Feasibility Study) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract