Automated Theorem Proving: Theory and Practice
Autor Monty Newbornen Limba Engleză Paperback – 24 mai 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 709.83 lei 6-8 săpt. | |
Springer – 24 mai 2013 | 709.83 lei 6-8 săpt. | |
Hardback (1) | 929.07 lei 6-8 săpt. | |
Springer – 15 dec 2000 | 929.07 lei 6-8 săpt. |
Preț: 709.83 lei
Preț vechi: 865.65 lei
-18% Nou
Puncte Express: 1065
Preț estimativ în valută:
135.100€ • 143.18$ • 112.25£
135.100€ • 143.18$ • 112.25£
Carte tipărită la comandă
Livrare economică 23 ianuarie-06 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781461265191
ISBN-10: 1461265193
Pagini: 248
Ilustrații: XIV, 231 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:Softcover reprint of the original 1st ed. 2001
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1461265193
Pagini: 248
Ilustrații: XIV, 231 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:Softcover reprint of the original 1st ed. 2001
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.