FTP 2007 - International Workshop on
First-Order Theorem Proving
Liverpool, UK, September 12-13 2007
Liverpool, UK, September 12-13 2007
VenueThe workshop is hosted by the Department of Computer Science at The University of Liverpool. The conference venue is the Ashton Building (Google Maps Satellite Image). [an error occurred while processing this directive] |