Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 304.
Published by Taylor & Francis Ltd, 2017
ISBN 10: 1138114227 ISBN 13: 9781138114227
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 611.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 304 pages. 9.21x6.14x0.69 inches. In Stock.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 89.43
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Books Puddle, New York, NY, U.S.A.
£ 90.23
Convert currencyQuantity: 3 available
Add to basketCondition: New. pp. 304.
Seller: California Books, Miami, FL, U.S.A.
£ 89.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
£ 87.50
Convert currencyQuantity: 10 available
Add to basketCondition: New.
£ 87.66
Convert currencyQuantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
£ 82.70
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 98.73
Convert currencyQuantity: 3 available
Add to basketCondition: New. pp. 304.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 304 pages. 9.21x6.14x0.69 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: New. New. book.
Published by Taylor & Francis, CRC Press, 2017
ISBN 10: 1138114227 ISBN 13: 9781138114227
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
£ 80.91
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration. 304 pp. Englisch.
Published by Taylor & Francis, CRC Press, 2017
ISBN 10: 1138114227 ISBN 13: 9781138114227
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 90.46
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration.