Automated Theorem Proving

1 549,00 kr
+ 91,99 kr Leverans
  • product image

Automated Theorem Proving

  • Märke: Unbranded
Säljs av:

Automated Theorem Proving

  • Märke: Unbranded

1 549,00 kr

I lager
+ 91,99 kr Leverans

14-dagars returpolicy

Säljs av:

1 549,00 kr

I lager
+ 91,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Monty Newborn
  • Format: Paperback
  • Publiceringsdatum: 2013/05/24
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337895455-741554795
  • ISBN: 9781461265191

Leverans

Skickas inom 4 dagar

  • STANDARD: 91,99 kr - Leverans mellan kl ons 17 juni 2026–mån 22 juni 2026

Leverans från Storbritannien.

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy