BLWt2442-300 Strother Jones

First Page		Document Content
Date: 2014-01-20 21:55:33 Strother		BLWt2442-300 Strother Jones Add to Reading List Source URL: revwarapps.org Download Document from Source Website File Size: 31,10 KB Share Document on Facebook

	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences DocID: 1xUSy - View Document
	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 DocID: 1xTGw - View Document
	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 DocID: 1xTgS - View Document
	Marine Biology: 173–184 DOIs00227z M.J. McHenry Æ J.A. Strother The kinematics of phototaxis in larvae of the ascidian Aplidium DocID: 1vncV - View Document
	Fedora 16 Живи образи на Fedora Как да използвам жив образ на Fedora Paul W. Frields Nelson Strother DocID: 1tJsQ - View Document