A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning - Image 1

Price loading...

World Scientific Publishing Company A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning

Name: A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
Brand: World Scientific Publishing Company

Grey

AI & Machine Learning

Price data last checked 106 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: World Scientific Publishing Company
Colour: Grey
Format: bundle
ASIN: 9810239106
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 01 December 1999
Listed Since: 11 December 2006

Barcode

No barcode data available

World Scientific Publishing Company A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Logic and Language Models for Computer Science: Third Edition

Handbook on Computational Intelligence (In 2 Volumes)

Computation Engineering: Applied Automata Theory and Logic

Handbook of Automated Reasoning (Volume 1)

Springer Reasoning in Event-Based Distributed Systems 347

Demystifying Computation: A Hands-on Introduction

A Tale Of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures And Graph Theory

Logic in Computer Science: Modelling and Reasoning about Systems

Information and Computation: Essays on Scientific and Philosophical Understanding of Foundations of Information and Computation (World Scientific Series in Information Studies): 2

Qualitative Computing: A Computational Journey Into Nonlinearity

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Handbook Of Unconventional Computing (In 2 Volumes): 0 (Wspc Book Series In Unconventional Computing): Theory / Implementations

Computational Autism (Human–Computer Interaction Series)

Design Automation for Field-coupled Nanotechnologies

Computing Systems for Autonomous Driving

Language Computability and Formal Language Theory

Revisiting Fibonacci Numbers through a Computational Experiment (Education in a Competive and Globalizing World)

Practical Guide to Computer Simulations (with CD-ROM)

Soft Computing and Its Applications: Volumes One and Two

Computation Engineering: Applied Automata Theory and Logic

Soft Computing and Its Applications, Volume Two: Fuzzy Reasoning and Fuzzy Control: 2

Springer - Automated Theorem Proving: Theory and Practice