IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning 2012-06-26T12:47:24Z http://ijcar.cs.manchester.ac.uk/?feed=atom WordPress admin <![CDATA[IJCAR 2012 – The 6th International Joint Conference on Automated Reasoning]]> http://ijcar.cs.manchester.ac.uk/?p=1 2012-04-23T13:26:10Z 2011-06-08T14:21:15Z