Automated Theorem Proving: Theory and Practice
Autor Monty Newbornen Limba Engleză Paperback – 24 mai 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 724.50 lei 43-57 zile | |
Springer – 24 mai 2013 | 724.50 lei 43-57 zile | |
Hardback (1) | 948.29 lei 43-57 zile | |
Springer – 15 dec 2000 | 948.29 lei 43-57 zile |
Preț: 724.50 lei
Preț vechi: 883.53 lei
-18% Nou
Puncte Express: 1087
Preț estimativ în valută:
138.67€ • 142.90$ • 117.07£
138.67€ • 142.90$ • 117.07£
Carte tipărită la comandă
Livrare economică 03-17 martie
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.