Автор: Mertens Stephan, Moore Cristopher Название: The Nature of Computation ISBN: 0199233217 ISBN-13(EAN): 9780199233212 Издательство: Oxford Academ Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.
Автор: Anuj Dawar; Ruy de Queiroz Название: Logic, Language, Information and Computation ISBN: 3642138233 ISBN-13(EAN): 9783642138232 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010.
Автор: Margaret Archibald; Vasco Brattka; Valentin F. Gor Название: Infinity in Logic and Computation ISBN: 3642030912 ISBN-13(EAN): 9783642030918 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: International Conference ILC 2007 Cape Town South Africa November 35 2007 Revised Selected Papers. .
Автор: V??n?nen Название: Logic, Language, Information, and Computation ISBN: 3662529203 ISBN-13(EAN): 9783662529201 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
