Intellectics and Computational Logic, Steffen H?lldobler

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

Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van
Название: Computational Logic in Multi-Agent Systems
ISBN: 3642406238 ISBN-13(EAN): 9783642406232
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.

Автор: J.W. Lloyd
Название: Computational Logic
ISBN: 364276276X ISBN-13(EAN): 9783642762765
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

Автор: David L. Woodruff
Название: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search
ISBN: 1441950230 ISBN-13(EAN): 9781441950239
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computer Science and Operations Research continue to have a synergistic relationship and this book - as a part of the Operations Research and Computer Science Interface Series - sits squarely in the center of the confluence of these two technical research communities.

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

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

Автор: Eugenio G. Omodeo; Alberto Policriti
Название: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 3319418416 ISBN-13(EAN): 9783319418414
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 0521123364 ISBN-13(EAN): 9780521123365
Издательство: Cambridge Academ
Рейтинг:
Цена: 40130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.