Category:IJCAR 2012
Jump to navigation
Jump to search
IJCAR 2012 The 6th International Joint Conference on Automated Reasoning
Media in category "IJCAR 2012"
The following 3 files are in this category, out of 3 total.
-
John Alan Robinson IMG 0493.jpg 3,137 × 2,348; 981 KB
-
Martin Davis IMG 0441.jpg 3,522 × 2,348; 1.19 MB
-
Peter Andrews IMG 0397.jpg 3,027 × 2,348; 1.02 MB