Automating Signature Evolution in Logic Theories (2008)

First Author: Alan Bundy

Attributed to: Ontology Evolution in Physics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract