1![Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences](https://www.pdfsearch.io/img/707d714db2a276f9be1cee926736f650.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-26 10:39:46
|
---|
2![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/5e0b91dfc1dea202f4a3e7c1d5161bf0.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-05 03:12:13
|
---|
3![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu](https://www.pdfsearch.io/img/a4c297366ea4e20b548ffe63d536fa6f.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42
|
---|
4![Marine Biology: 173–184 DOIs00227z M.J. McHenry Æ J.A. Strother The kinematics of phototaxis in larvae of the ascidian Aplidium Marine Biology: 173–184 DOIs00227z M.J. McHenry Æ J.A. Strother The kinematics of phototaxis in larvae of the ascidian Aplidium](https://www.pdfsearch.io/img/117d6f1f748c3aa949b81ffb34a98434.jpg) | Add to Reading ListSource URL: mchenrylab.bio.uci.eduLanguage: English - Date: 2014-10-02 11:09:26
|
---|
5![Fedora 16 Живи образи на Fedora Как да използвам жив образ на Fedora Paul W. Frields Nelson Strother Fedora 16 Живи образи на Fedora Как да използвам жив образ на Fedora Paul W. Frields Nelson Strother](https://www.pdfsearch.io/img/010367fda7ecb8db17278b677da1f458.jpg) | Add to Reading ListSource URL: docs-old.fedoraproject.org- Date: 2017-04-07 21:30:14
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: charlescountyhistorical.org- Date: 2011-09-05 20:40:23
|
---|
7![The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop](https://www.pdfsearch.io/img/ffca202896f2b98c83ffbf46a854276f.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-07-11 15:25:07
|
---|
8![Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA](https://www.pdfsearch.io/img/a8cba98b36370209dba0adbdd0dcba39.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-11-02 19:29:56
|
---|
9![The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701](https://www.pdfsearch.io/img/697c0596855797427d6f778464dbf0c0.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-10-22 17:23:36
|
---|
10![The Role of Human Creativity in Mechanized Verification J Strother Moore Department of Computer Science The Role of Human Creativity in Mechanized Verification J Strother Moore Department of Computer Science](https://www.pdfsearch.io/img/aca18c97077062ee5e12f4eda6be97fa.jpg) | Add to Reading ListSource URL: www.ai4fm.org- Date: 2015-09-02 07:29:35
|
---|