Automated Reasoning, Olivetti

Автор: Malik Ghallab
Название: Automated Planning,
ISBN: 1558608567 ISBN-13(EAN): 9781558608566
Издательство: Elsevier Science
Рейтинг:
Цена: 11452.00 р.
Наличие на складе: Поставка под заказ.

Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.

Автор: J?rgen Giesl; Reiner H?hnle
Название: Automated Reasoning
ISBN: 3642142028 ISBN-13(EAN): 9783642142024
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

Автор: Takayuki Ito; Minjie Zhang; Valentin Robu; Shaheen
Название: Innovations in Agent-Based Complex Automated Negotiations
ISBN: 3642265499 ISBN-13(EAN): 9783642265495
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The issues here are explored by researchers from different communities in the subject area. Not only does this volume cover the field from agent negotiation to secure protocols, but it also includes aspects of negotiation research such as data engineering.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

Автор: Martin Giese; Arild Waaler
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3642027156 ISBN-13(EAN): 9783642027154
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .

Автор: Takayuki Ito; Minjie Zhang; Valentin Robu; Shaheen
Название: New Trends in Agent-Based Complex Automated Negotiations
ISBN: 3642269680 ISBN-13(EAN): 9783642269684
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The multitude of factors characterizing automated negotiations render them highly complex. This book describes new trends in agent-based CAMs, presenting papers from many of the leading researchers in the field and covering platforms as well as strategies.

Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe
Название: Automated Reasoning
ISBN: 3540710698 ISBN-13(EAN): 9783540710691
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

Автор: Zhiming Liu; Anders P. Ravn
Название: Automated Technology for Verification and Analysis
ISBN: 3642047602 ISBN-13(EAN): 9783642047602
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.