Home › Computers › Fascin Count World Comp [W/ CD] [With CDROM]
  • Fascin Count World Comp [W/ CD] [With CDROM]
  • Fascin Count World Comp [W/ CD] [With CDROM]
  • Fascin Count World Comp [W/ CD] [With CDROM]
1 3

Fascin Count World Comp [W/ CD] [With CDROM]

by Wos Larry

Computers Hardcover Books
$153.99 USD
$171.10 USD $153.99 USD

You save $17.11 USD (10%)

In stock — Ships within 1–2 business days

Format

Print Book Currently viewing Hardcover $153.99 USD $171.10 USD
Condition
Secure CheckoutYour data is protected
Fast U.S. ShippingShips within 1–2 business days
Authentic Titles100% Genuine Books
Book Overview This book shows you -- through examples and puzzles and intriguing questions -- how to make your computer reason logically. To help you, ...

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 few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

Book Details Format: Hardcover | Pages: 587 | Language: English | Publisher: WORLD SCIENTIFIC PUB CO INC | ISBN: 9810239106
FormatHardcover
Pages587
LanguageEnglish
ISBN9810239106
EAN9789810239107
PublisherWORLD SCIENTIFIC PUB CO INC
Publication Date1970-01-01
Edition1
AccessoriesCDROM
ConditionNew
Product TypeHARD COVER BOOKS
Weight2.19 Pounds
Length8.83 Inches
Width6.39 Inches
Height1.54 Inches
Shipping & Returns Fast, reliable shipping and easy returns on eligible items.

Most orders ship within 1–2 business days with fast, reliable U.S. delivery.

Eligible items can be returned within 30 days in line with our store return policy.

Why shop with AlbakiReads

Fresh Inventory from Major Publishers

Sourced through trusted book distributors, with fresh titles added regularly.

Secure Checkout

Your payment information is encrypted and protected every step of the way.

Fast U.S. Shipping

Most orders ship within 1–2 business days.

Books for Every Kind of Reader

From page-turners to timeless classics—find your next favorite read.

You may also like

View all