Original language | English |
---|---|
Publication status | Published - 1 Jan 2007 |
Event | Proceedings of 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, S Colton (Editor) - Duration: 1 Jan 2007 → … |
Conference
Conference | Proceedings of 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, S Colton (Editor) |
---|---|
Period | 1/01/07 → … |