D R A F T
Robert S. Boyer
History of Computing
People
A B C D E F G
H I J K L M N
O P Q R S T U
V W X Y Z


Computing
Applications
Basics
Languages
Machines
Networks
Operating Systems
People
Software
Technology
Time Periods

Bibliography

Feedback

www.dgatx.com
2007 Dec 29


  		http://www.cs.utexas.edu/users/boyer/
 

Notes

Selected Works of Robert S. Boyer

Robert S. Boyer and J Strother Moore, A Computational Logic (Academic Press, 1979).


Top of page