First Workshop on Challenges and Novel Applications for Automated Reasoning In conjunction with CADE-19, Miami, USA Organisers: Simon Colton, Jeremy Gow, Volker Sorge - Simon Colton - Document - PDFSEARCH.IO

First Page	Meta Content
	First Workshop on Challenges and Novel Applications for Automated Reasoning In conjunction with CADE-19, Miami, USA Organisers: Simon Colton, Jeremy Gow, Volker Sorge & Toby Walsh Date: 28th July 2003 Add to Reading List Document Date: 2004-06-17 10:27:07 Open Document File Size: 771,12 KB Share Result on Facebook

First Workshop on Challenges and Novel Applications for Automated Reasoning In conjunction with CADE-19, Miami, USA Organisers: Simon Colton, Jeremy Gow, Volker Sorge & Toby Walsh Date: 28th July 2003Add to Reading List