Abstract Matrices and Constraints

Alan Sexton, Volker Sorge, D Berry, A Bundy, J Fleuriot

Research output: Contribution to conference (unpublished)Abstract

Original languageEnglish
Publication statusPublished - 1 Jan 2005
EventProceedings of the 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice -
Duration: 1 Jan 2005 → …

Conference

ConferenceProceedings of the 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Period1/01/05 → …

Cite this