Doing algebra with REVE

Research output: Other contribution

Original languageEnglish
PublisherUniversity of Manchester. Department of Computer Science
Publication statusPublished - 1986

Cite this