A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning

Name: A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning
Author: Larry Wos

by Larry Wos · 1 review · 2007

Reviewed by	Journal	Date	Access
Robert K Meyer	The Bulletin of Symbolic Logic	2007-09-01	Restricted

Also by Wos