Collected Works of Larry Wos, the (in 2 Volumes)

en Limba Engleză Hardback – 31 dec 1999

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.

Citește tot Restrânge