Logical and Computational Aspects of Model-Based Reasoning: Applied Logic Series, cartea 25
Editat de L. Magnani, N.J. Nersessian, Claudio Pizzien Limba Engleză Hardback – 30 sep 2002
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 643.65 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 sep 2002 | 643.65 lei 6-8 săpt. | |
Hardback (1) | 649.06 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 sep 2002 | 649.06 lei 6-8 săpt. |
Din seria Applied Logic Series
- 18% Preț: 1114.65 lei
- 20% Preț: 996.22 lei
- 18% Preț: 957.13 lei
- 15% Preț: 646.75 lei
- 18% Preț: 1225.62 lei
- 18% Preț: 956.33 lei
- 18% Preț: 957.44 lei
- 18% Preț: 959.98 lei
- 15% Preț: 639.73 lei
- 18% Preț: 945.79 lei
- 18% Preț: 949.55 lei
- 18% Preț: 952.40 lei
- 15% Preț: 637.13 lei
- 15% Preț: 639.59 lei
- 20% Preț: 1001.86 lei
- 15% Preț: 645.28 lei
- 18% Preț: 957.32 lei
- 18% Preț: 953.20 lei
- 15% Preț: 589.65 lei
- 15% Preț: 648.74 lei
- 18% Preț: 1117.99 lei
- 20% Preț: 338.03 lei
- 18% Preț: 956.03 lei
- 18% Preț: 953.65 lei
Preț: 649.06 lei
Preț vechi: 763.60 lei
-15% Nou
Puncte Express: 974
Preț estimativ în valută:
124.21€ • 129.52$ • 103.23£
124.21€ • 129.52$ • 103.23£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402007125
ISBN-10: 1402007124
Pagini: 364
Ilustrații: XVI, 342 p.
Dimensiuni: 170 x 244 x 25 mm
Greutate: 0.66 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402007124
Pagini: 364
Ilustrații: XVI, 342 p.
Dimensiuni: 170 x 244 x 25 mm
Greutate: 0.66 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Logical Aspects of Model-Based Reasoning.- A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems.- A Logical Approach to the Analysis of Metaphors.- Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.- Diagrammatic Inference and Graphical Proof.- A Logical Analysis of Graphical Consistency Proofs.- Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning.- Model-Guided Proof Planning.- Degrees of Abductive Boldness.- Scientific Explanation and Modified Semantic Tableaux.- Computational Aspects of Model-Based Reasoning.- Computational Discovery of Communicable Knowledge.- Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery.- Reasoning about Models of Nonlinear Systems.- Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation.- Modeling Through Human-Computer Interactions and Mathematical Discourse.- Combining Strategy and Sub-models for the Objectified Communication of Research Programs.- Author Index.