Richard J. Boulton has written:
'A tool to support formal reasoning about computer languages' -- subject(s): Programming languages (Electronic computers), Automatic theorem proving
Richard J. Boulton is an author who has written several books on topics related to education and philosophy. Some of his works include "The Practice of Record Keeping in Education" and "Philosophy and Education: An Introduction to Key Questions and Themes."
J. V. Boulton has written: 'Phakirmohana Senapati and his times'
Richard J. Rhinehart has written: 'Without rival'
J. Richard Barry has written: 'Vermont neighbors'
Richard J. Gerrig has written: 'Psychology and life'
Richard J. Smith has written: 'Navigating the internet'
RICHARD J. LANE has written: 'POSTCOLONIAL NOVEL'
J Richard Hackman has written: 'The job diagnostic survey'
Richard J. Clayton has written: 'Integration of CAD and CAM'
Richard J. Maskoff has written: 'Among the Shrines of Jesus'
J. Richard Traynor has written: 'Molly Adair and Co.'
Richard J. Kruizenga has written: 'Put and call options'
Richard J. Herrnstein has written: 'A sourcebook in the history of psychology'