http://ijcar.cs.manchester.ac.uk IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning Tue, 26 Jun 2012 12:47:24 +0000 en hourly 1 http://wordpress.org/?v=3.1.3 http://ijcar.cs.manchester.ac.uk/?p=1 http://ijcar.cs.manchester.ac.uk/?p=1#comments Wed, 08 Jun 2011 14:21:15 +0000 admin http://ijcar.cs.manchester.ac.uk/?p=1 http://ijcar.cs.manchester.ac.uk/?feed=rss2&p=1 0