Handbook of Practical Logic and Automated Reasoning

1.149,00 RON
+ 41,49 RON Livrare

Handbook of Practical Logic and Automated Reasoning

  • Marcă: Unbranded
Vândut de:

Handbook of Practical Logic and Automated Reasoning

  • Marcă: Unbranded

1.149,00 RON

În stoc
+ 41,49 RON Livrare
Vândut de:

1.149,00 RON

În stoc
+ 41,49 RON Livrare

Acceptăm următoarele metode de plată

Descriere

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 approach is constructive concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference or as a place to learn the fundamentals either in conjunction with advanced courses or for self study. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Harrison John
  • Limbă: English
  • Număr de pagini: 702
  • Format: Hardback
  • Data publicării: 2009/03/12
  • Editor / Etichetă: Cambridge University Press
  • ID Fruugo: 337992194-741652795
  • ISBN: 9780521899574

Livrări şi Returnări

Expediat în 4 zile

  • STANDARD: 41,49 RON - Livrare între joi 30 octombrie 2025–mar. 04 noiembrie 2025

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare