Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Handbook of Practical Logic and Automated Reasoning

Innbundet • 2009 • Engelsk

Handbook of Practical Logic and Automated Reasoning

Av John Harrison

0 vurderinger • 0.0 av 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

Om boken

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The ...Vis mer

Om boken

ISBN

9780521899574

Forlag

Cambridge University Press

Publiseringsår

2009

Språk

Engelsk

Originaltittel

Handbook of Practical Logic and Automated Reasoning

Format

Innbundet

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Thinking and Deciding

Thinking and Deciding

Jonathan Baron

Reasoning, judging, deciding

Reasoning, judging, deciding

Colin Wastell

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Critical thinking

Critical thinking

Tracy Bowell

Reasoning for Intelligence Analysts

Reasoning for Intelligence Analysts

Noel Hendrickson

Service Logic

Service Logic

Professor Per Skalen

Logic: A Very Short Introduction

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

The logic manual

Volker Halbach

Handbook of Information Science

Handbook of Information Science

Wolfgang G. Stock

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Logic

Logic

Dan Cryan

Bayesian reasoning and machine learning

Bayesian reasoning and machine learning

David Barber

Digital Systems Principles and Applications

Digital Systems Principles and Applications

Ronald J. Tocci

Thinking Mathematically

Thinking Mathematically

Johnnie Hamilton-Mason

The Logic Book

The Logic Book

Merrie Bergmann

Behavioral Mathematics for Game AI

Behavioral Mathematics for Game AI

Dave Mark

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

Ronald J. Brachman

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Deductive Logic

Warren Goldfarb

Clinical Reasoning for Manual Therapists

Clinical Reasoning for Manual Therapists

Mark A. Jones

Logic and Philosophy

Logic and Philosophy

Paul Tidman

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Empirical Methods for Artificial Intelligence

Empirical Methods for Artificial Intelligence

Paul R. Cohen

Artificial Intelligence - A Philosophical Introduction

Artificial Intelligence - A Philosophical Introduction

Jack Copeland

Deontic Logic in Computer Science

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

Formal Logic

Formal Logic

Jeffrey, Richard C.

The Philosophy of Artificial Intelligence

The Philosophy of Artificial Intelligence

Margaret A. Boden

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas