Collected works of larry wos, the (in 2 volumes)
Auteur :
Pieper, Gail W.
Éditeur :
Pieper, Gail W.Wos, Larry,
ISBN :
9789810240011
Date de publication :
3 janv. 2000
Dimensions :
23,0 x 16,9 x 9,5 cm
Poids :
2604 g
Langue :
Anglais
Pays d'origine :
Singapour
This two-volume work includes all the published papers of Dr Larry Wos. It illustrates some of the successes that automated reasoning programs have had in tackling problems in mathematics, logic, program verification and circuit design. The CD-ROM contains a searchable index of all the papers.