Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Logic for Programming, Artificial Intelligence, and Reasoning, Nachum Dershowitz; Andrei Voronkov


Варианты приобретения
Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Nachum Dershowitz; Andrei Voronkov
Название:  Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783540755586
Издательство: Springer
Классификация:
ISBN-10: 3540755586
Обложка/Формат: Paperback
Страницы: 575
Вес: 0.88 кг.
Дата издания: 2007
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 236 x 150 x 33
Читательская аудитория: Professional & vocational
Подзаголовок: 14th international conference, lpar 2007, yerevan, armenia, october 15-19, 2007, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. This book presents 36 revised full papers together with 15 short papers and 3 invited talks that were reviewed and selected from 78 submissions.


Paradigms of Artificial Intelligence Programming,

Автор: Peter Norvig
Название: Paradigms of Artificial Intelligence Programming,
ISBN: 1558601910 ISBN-13(EAN): 9781558601918
Издательство: Elsevier Science
Рейтинг:
Цена: 9599.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Paradigms of AI Programming teaches advanced Common Lisp techniques in the context of building major AI systems.

Artificial Intelligence for Games

Автор: Millington, Ian, Funge, John
Название: Artificial Intelligence for Games
ISBN: 0123747317 ISBN-13(EAN): 9780123747310
Издательство: Taylor&Francis
Рейтинг:
Цена: 10870.00 р.
Наличие на складе: Поставка под заказ.

Описание: Creating robust artificial intelligence is one of the greatest challenges for game developers, yet the commercial success of a game is often dependent upon the quality of the AI. In this book, Ian Millington brings extensive professional experience to the problem of improving the quality of AI in games. He describes numerous examples from real games and explores the underlying ideas through detailed case studies. He goes further to introduce many techniques little used by developers today. The book's associated web site contains a library of C++ source code and demonstration programs, and a complete commercial source code library of AI algorithms and techniques.<br><br>"Artificial Intelligence for Games - 2nd edition" will be highly useful to academics teaching courses on game AI, in that it includes exercises with each chapter. It will also include new and expanded coverage of the following: AI-oriented gameplay; Behavior driven AI; Casual games (puzzle games). <br><br>* The first comprehensive, professional tutorial and reference to implement true AI in games written by an engineer with extensive industry experience.<br>* Walks through the entire development process from beginning to end.<br>* Includes examples from over 100 real games, 10 in-depth case studies, and web site with sample code.

Intelligent Robotics and Applications: 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II ... / Lecture Notes in Artificial Intelligence)

Автор: Jangmyung Lee (Editor), Min Cheol Lee (Editor), Ho
Название: Intelligent Robotics and Applications: 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II ... / Lecture Notes in Artificial Intelligence)
ISBN: 3642408486 ISBN-13(EAN): 9783642408489
Издательство: Springer
Рейтинг:
Цена: 12159.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two volume set LNAI 8102 and LNAI 8103 constitutes the refereed proceedings of the 6th International Conference on Intelligent Robotics and Applications, ICIRA 2013, held in Busan, South Korea, in September 2013.

Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Автор: Ming Xie (Editor), Youlun Xiong (Editor), Caihua X
Название: Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN: 3642108164 ISBN-13(EAN): 9783642108167
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Поставка под заказ.

Описание: Second International Conference ICIRA 2009 Singapore December 1618 2009 Proceedings. .

Intelligent Robotics and Applications: First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II (Lecture ... / Lecture Notes in Artificial Intelligence)

Автор: Caihua Xiong (Editor), Yongan Huang (Editor), Youl
Название: Intelligent Robotics and Applications: First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN: 3540885161 ISBN-13(EAN): 9783540885160
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Поставка под заказ.

Описание: Constitutes the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008. This book includes such topics as robot control, cognitive robotics, rehabilitation robotics, health care and artificial limb, robot learning, and robot vision.

Logic for Programming, Artificial Intelligence, and Reasoning

Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540894381 ISBN-13(EAN): 9783540894384
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия