Larry Wos – författare
Visar alla böcker från författaren Larry Wos. Handla med fri frakt och snabb leverans.
2 produkter
FASCINATING COUNTRY IN THE WORLD OF COMPUTING, A: YOUR GUIDE TO AUTOMATED REASONING
Inbunden, 1999
2002 kr
Lägg i varukorg
This book shows you — through examples and puzzles and intriguing questions — how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past …
COLLECTED WORKS OF LARRY WOS, THE (IN 2 VOLUMES)
Inbunden, 2000
4402 kr
Tillfälligt slut
Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of …
