Extensions of Logic Programming
Editat de Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heisteren Limba Engleză Paperback – 20 mai 1992
Preț: 326.47 lei
Preț vechi: 408.09 lei
-20%
Puncte Express: 490
Preț estimativ în valută:
57.73€ • 66.20$ • 49.89£
57.73€ • 66.20$ • 49.89£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540554981
ISBN-10: 354055498X
Pagini: 384
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354055498X
Pagini: 384
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-21%Preț: 83.28 lei105.26 lei -
Computational Intelligence for OptimizationNirwan Ansari-20%Preț: 624.33 lei780.42 lei -
The Ordered Weighted Averaging OperatorsRonald R. Yager-18%Preț: 908.31 lei1107.70 lei -
Computer Vision: Models, Learning, and InferenceSimon J. D. Prince-20%Preț: 528.19 lei660.24 lei -
-20%Preț: 349.72 lei437.15 lei -
-20%Preț: 623.61 lei779.51 lei -
Wavelet Neural NetworksAntonios K Alexandridis-20%Preț: 586.36 lei732.94 lei -
A Practical Introduction to Computer Vision with OpenCV3K Dawson–Howe-23%Preț: 433.80 lei563.37 lei -
Machine Learning: An Algorithmic Perspective, Second EditionStephen Marsland-20%Preț: 595.25 lei744.07 lei -
-9%Preț: 945.32 lei1038.82 lei -
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New TechnologiesPeter Schroeder-HeisterPreț: 197.27 lei -
Advances in Proof-Theoretic SemanticsThomas PiechaPreț: 410.67 lei -
Intelligence and Security InformaticsHsinchun Chen-20%Preț: 637.21 lei796.50 lei -
Proof Theory in Computer ScienceReinhard Kahle-20%Preț: 319.92 lei399.90 lei -
FME 2002: Formal Methods - Getting IT RightLars-Henrik Eriksson-20%Preț: 641.51 lei801.90 lei -
Pattern Recognition with Support Vector MachinesSeong-Whan Lee-20%Preț: 329.25 lei411.55 lei -
Extensions of Logic ProgrammingPeter Schroeder-Heister-20%Preț: 326.05 lei407.56 lei -
Extensions of Logic ProgrammingRoy Dyckhoff-20%Preț: 323.81 lei404.76 lei -
Modelling and Motion Capture Techniques for Virtual EnvironmentsNadia Magnenat-Thalmann-20%Preț: 321.74 lei402.18 lei -
Evolvable Systems: From Biology to HardwareJulian F. Miller-20%Preț: 322.16 lei402.70 lei -
-20%Preț: 323.17 lei403.96 lei -
Computational Intelligence and SecurityYunping Wang-20%Preț: 996.27 lei1245.34 lei -
Believable Bots: Can Computers Play Like People?Philip Hingston-20%Preț: 628.32 lei785.39 lei
Public țintă
ResearchCuprins
Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.