Mohlo by sa vám tiež páčiť

Informovať o naskladnení knihy

Viac informácií o knihe Collected Works Of Larry Wos, The (In 2 Volumes)

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 920 bodov

Anotácia knihy

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification and circuit design. This two-volume work includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides information for students, teachers, researchers and even historians of computer science about this field. The book presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic. It provides a history of the field - from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning. It illustrates some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification and circuit design. The accompanying CD-ROM, with a searchable index of all the papers, should enable readers to peruse the papers for ideas.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

• Celý názov: Collected Works Of Larry Wos, The (In 2 Volumes)
• Autor: Larry Wos, Gail W. Pieper
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 1680
• EAN: 9789810240011
• ISBN: 9810240015
• ID: 05066374
• Nakladateľ: World Scientific Publishing Co Pte Ltd
• Hmotnosť: 2604 g
• Rozmery: 231 × 169 × 95 mm
• Dátum vydania: 03. January 2000

Obľúbené z iného súdka

---

---

---