Foundations of Logic Programming: Symbolic Computation
Autor John W. Lloyden Limba Engleză Paperback – 15 dec 2011
Din seria Symbolic Computation
- 20% Preț: 343.16 lei
- 20% Preț: 638.72 lei
- 20% Preț: 634.50 lei
- 20% Preț: 635.96 lei
- 20% Preț: 635.32 lei
- 20% Preț: 626.41 lei
- 20% Preț: 639.85 lei
- 20% Preț: 629.20 lei
- 20% Preț: 637.92 lei
- 20% Preț: 646.61 lei
- 20% Preț: 632.26 lei
- 20% Preț: 635.32 lei
- 20% Preț: 637.10 lei
- 20% Preț: 633.39 lei
- Preț: 386.36 lei
- 20% Preț: 319.89 lei
- 20% Preț: 335.39 lei
- 20% Preț: 333.14 lei
- 20% Preț: 628.05 lei
- 20% Preț: 644.70 lei
- 20% Preț: 635.15 lei
- 20% Preț: 648.08 lei
- 15% Preț: 625.98 lei
- 20% Preț: 644.37 lei
- 20% Preț: 639.53 lei
- 20% Preț: 323.77 lei
- 20% Preț: 695.60 lei
- 20% Preț: 817.78 lei
- 20% Preț: 642.77 lei
- 20% Preț: 318.12 lei
- 20% Preț: 348.51 lei
- 20% Preț: 321.68 lei
- 20% Preț: 323.59 lei
- 20% Preț: 336.06 lei
- 20% Preț: 544.32 lei
Preț: 742.16 lei
Preț vechi: 927.70 lei
-20% Nou
Puncte Express: 1113
Preț estimativ în valută:
142.05€ • 149.02$ • 117.84£
142.05€ • 149.02$ • 117.84£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642831911
ISBN-10: 3642831915
Pagini: 228
Ilustrații: XII, 212 p.
Dimensiuni: 170 x 244 x 12 mm
Greutate: 0.37 kg
Ediția:2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Symbolic Computation, Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642831915
Pagini: 228
Ilustrații: XII, 212 p.
Dimensiuni: 170 x 244 x 12 mm
Greutate: 0.37 kg
Ediția:2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Symbolic Computation, Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
1. Preliminaries.- §1. Introduction.- §2. First Order Theories.- §3. Interpretations and Models.- §4. Unification.- §5. Fixpoints.- Problems for Chapter 1.- 2. Definite Programs.- §6. Declarative Semantics.- §7. Soundness of SLD-Resolution.- §8. Completeness of SLD-Resolution.- §9. Independence of the Computation Rule.- §10. SLD-Refutation Procedures.- §11. Cuts.- Problems for Chapter 2.- 3. Normal Programs.- §12. Negative Information.- §13. Finite Failure.- §14. Programming with the Completion.- §15. Soundness of SLDNF-Resolution.- §16. Completeness of SLDNF-Resolution.- Problems for Chapter 3.- 4. Programs.- §17. Introduction to Programs.- §18. SLDNF-Resolution for Programs.- §19. Declarative Error Diagnosis.- §20. Soundness and Completeness of the Diagnoser.- Problems for Chapter 4.- 5. Deductive Databases.- §21. Introduction to Deductive Databases.- §22. Soundness of Query Evaluation.- §23. Completeness of Query Evaluation.- §24. Integrity Constraints.- Problems for Chapter 5.- 6. Perpetual Processes.- §25. Complete Herbrand Interpretations.- §26. Properties of T’p.- §27. Semantics of Perpetual Processes.- Problems for Chapter 6.- References.- Notation.