Computational Logic, J.W. Lloyd

Автор: Tshilidzi Marwala; Monica Lagazio
Название: Militarized Conflict Modeling Using Computational Intelligence
ISBN: 1447127013 ISBN-13(EAN): 9781447127017
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume offers a scientific approach to manage inter-country conflict. Readers will find that through simultaneous control of four specific aspects (democracy, dependency, allies and capacity), predicted dispute outcomes can be avoided.

Автор: de Berg
Название: Computational Geometry
ISBN: 3540779736 ISBN-13(EAN): 9783540779735
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.

Автор: Kowalski
Название: Computational Logic and Human Thinking
ISBN: 0521123364 ISBN-13(EAN): 9780521123365
Издательство: Cambridge Academ
Рейтинг:
Цена: 6019.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Robert Kowalski demonstrates how ordinary people in their everyday life can profit from the advances of computational logic that have been developed for artificial intelligence. This book is an eye-opening read for any student who employs practical thinking, problem solving and communication skills.

Автор: Jacob T. Schwartz; Domenico Cantone; Eugenio G. Om
Название: Computational Logic and Set Theory
ISBN: 1447160185 ISBN-13(EAN): 9781447160182
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This must-read text presents the late Professor Jacob T. Schwartz`s work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Автор: Steffen H?lldobler
Название: Intellectics and Computational Logic
ISBN: 0792362616 ISBN-13(EAN): 9780792362616
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses the issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. This work offers an account of the capabilities and limitations of a computational-logic-based approach to intellectics.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: Arora, Sanjeev Barak, Boaz
Название: Computational complexity
ISBN: 0521424267 ISBN-13(EAN): 9780521424264
Издательство: Cambridge Academ
Рейтинг:
Цена: 9029.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.

Автор: Eugenio G. Omodeo; Alberto Policriti
Название: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 3319418416 ISBN-13(EAN): 9783319418414
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

Автор: Kowalski
Название: Computational Logic and Human Thinking
ISBN: 0521194822 ISBN-13(EAN): 9780521194822
Издательство: Cambridge Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Robert Kowalski demonstrates how ordinary people in their everyday life can profit from the advances of computational logic that have been developed for artificial intelligence. This book is an eye-opening read for any student who employs practical thinking, problem solving and communication skills.

Автор: Nils Bulling; Leendert van der Torre; Serena Villa
Название: Computational Logic in Multi-Agent Systems
ISBN: 3319097636 ISBN-13(EAN): 9783319097633
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.

Автор: Manfred Schmidt-Schau?
Название: Computational Aspects of an Order-Sorted Logic with Term Declarations
ISBN: 3540517057 ISBN-13(EAN): 9783540517054
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici
Название: Computational Logic and Proof Theory
ISBN: 3540633855 ISBN-13(EAN): 9783540633853
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.