Logic, Language, Information and Computation, Anuj Dawar; Ruy de Queiroz

Автор: M?tais
Название: Natural Language Processing and Information Systems
ISBN: 3319417533 ISBN-13(EAN): 9783319417530
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, held in Salford, UK, in June 2016. The 17 full papers, 22 short papers, and 13 poster papers presented were carefully reviewed and selected from 83 submissions.

Автор: Hiroakira Ono; Makoto Kanazawa; Ruy de Queiroz
Название: Logic, Language, Information and Computation
ISBN: 364202260X ISBN-13(EAN): 9783642022609
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. This title presents 25 revised full papers together with six tutorials and invited talks that were reviewed and selected from 57 submissions.

Автор: V??n?nen
Название: Logic, Language, Information, and Computation
ISBN: 3662529203 ISBN-13(EAN): 9783662529201
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: M‚zard, Marc; Montanari, Andrea
Название: Information, Physics, and Computation
ISBN: 019857083X ISBN-13(EAN): 9780198570837
Издательство: Oxford Academ
Рейтинг:
Цена: 14731.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A very active field of research is emerging at the frontier of statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. This book sets up a common language and pool of concepts, accessible to students and researchers from each of these fields.

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

Автор: Paulson
Название: Logic and Computation
ISBN: 0521395607 ISBN-13(EAN): 9780521395601
Издательство: Cambridge Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Автор: Peter Bosch; David Gabelaia; J?r?me Lang
Название: Logic, Language, and Computation
ISBN: 3642006647 ISBN-13(EAN): 9783642006647
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. This work contains papers that focus on the following topics: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena and coalgebras.