Automated Theorem Proving

724,00 RON
+ 49,99 RON Livrare
  • product image

Automated Theorem Proving

  • Marcă: Unbranded
Vândut de:

Automated Theorem Proving

  • Marcă: Unbranded

724,00 RON

În stoc
+ 49,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

724,00 RON

În stoc
+ 49,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

Automated Theorem Proving

A brief introduction to COMPILE HERBY and THEO. - Predicate calculus well-formed formulas and theorems. - COMPILE: transforming well-formed formulas to clauses. - Inference procedures. - Proving theorems by constructing closed semantic trees. - Resolution-refutation proofs. - HERBY: A semantic tree theorem prover. - Using HERBY. - THEO: A resolution-refutation theorem prover. - Using THEO. - A look at HERBY's source code. - A look at THEO's source code. - Other theorem provers. - References. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Monty Newborn
  • Limbă: English
  • Format: Paperback
  • Data publicării: 2013/05/24
  • Editor / Etichetă: Springer
  • ID Fruugo: 337895455-741554795
  • ISBN: 9781461265191

Livrare

Expediat în 4 zile

  • STANDARD: 49,99 RON - Livrare între mie. 17 iunie 2026–lun. 22 iunie 2026

Livrare de la Regatul Unit.

Returnări

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