Logic, Language, Information, and Computation, V??n?nen

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

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

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

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

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

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