Automated Theorem Proving

129.00 CHF
+ 6.49 CHF Livraison
  • product image

Automated Theorem Proving

  • Marque: Unbranded
Verkocht door:

Automated Theorem Proving

  • Marque: Unbranded

129.00 CHF

En stock
+ 6.49 CHF Livraison

Politique de retour sur 14 jours

Verkocht door:

129.00 CHF

En stock
+ 6.49 CHF Livraison

Politique de retour sur 14 jours

Modes de paiement:

Description

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
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Date de publication: 2013/05/24
  • Editeur / Label: Springer
  • Format: Paperback
  • Langue: English
  • Artiste: Monty Newborn
  • Identifiant Fruugo: 337895455-741554795
  • ISBN: 9781461265191

Livraison

Expédition dans un délai de 4 jours

  • STANDARD: 6.49 CHF - Livraison entre mer. 17 juin 2026–lun. 22 juin 2026

Expédition de Royaume-Uni.

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles.

Voir l'intégralité de la politique de retour