Formal Methods in Artificial Intelligence
Odporučiť
  • Anglický jazyk

Formal Methods in Artificial Intelligence

Autor: Allan Ramsay

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

Viac o knihe

Na objednávku, dodanie 2-4 týždne

55.88 €

bežná cena: 63.50 €

O knihe

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

  • Vydavateľstvo: Cambridge University Press
  • Rok vydania: 2009
  • Formát: Paperback
  • Rozmer: 244 x 170 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9780521424219

Odporúčané tituly:

Spieleprogrammierung, m. CD-ROM
  • Nemecký jazyk Nemecký jazyk

Spieleprogrammierung, m. CD-ROM

Martin Stephen

31.02 € 35.25 € (ušetríte 12%)
Enterprise Integration w/WS (OMG)

Enterprise Integration w/WS (OMG)

65.90 € 74.89 € (ušetríte 12%)
Levin, L: Easyscript/Computerscript 1
  • Anglický jazyk Anglický jazyk

Levin, L: Easyscript/Computerscript 1

112.75 € 128.13 € (ušetríte 12%)
Business the Amazon.com Way

Business the Amazon.com Way

22.23 € 25.26 € (ušetríte 12%)
Customizing Materials Management Processes in SAP ERP

Customizing Materials Management Processes in SAP ERP

67.72 € 76.95 € (ušetríte 12%)
Pro Javascript Techniques
  • Anglický jazyk Anglický jazyk

Pro Javascript Techniques

John Resig

49.77 € 56.56 € (ušetríte 12%)
NX-OS and Cisco Nexus Switching
  • Anglický jazyk Anglický jazyk

NX-OS and Cisco Nexus Switching

Rôzni autori (editori)

64.17 € 72.92 € (ušetríte 12%)
Cavalier, R: Impact of the Internet on Our Moral Lives
  • Anglický jazyk Anglický jazyk

Cavalier, R: Impact of the Internet on Our Moral Lives

Robert J. Cavalier

23.65 € 26.87 € (ušetríte 12%)
Data Model Patterns: A Metadata Map
  • Anglický jazyk Anglický jazyk

Data Model Patterns: A Metadata Map

DAVID C. HAY

68.30 € 77.61 € (ušetríte 12%)
Digital Layout for the Internet and Other Media
  • Anglický jazyk Anglický jazyk

Digital Layout for the Internet and Other Media

David Skopec

48.08 € 54.64 € (ušetríte 12%)
Art of Downloading Music, The
  • Anglický jazyk Anglický jazyk

Art of Downloading Music, The

Steve Levine

12.36 € 14.04 € (ušetríte 12%)
Microsoft Office System 2003 Step by Step
  • Anglický jazyk Anglický jazyk

Microsoft Office System 2003 Step by Step

Microsoft

57.43 € 65.26 € (ušetríte 12%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.