Intellectics and Computational Logic, Steffen H?lldobler

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

Описание: `Intellectics` seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions.

Автор: 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.

Автор: 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.

Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van
Название: Computational Logic in Multi-Agent Systems
ISBN: 3642406238 ISBN-13(EAN): 9783642406232
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 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.

Автор: 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.