Edited under the auspices of the Association of Logic, Language and
Information (FoLLI), this book constitutes the refereed proceedings of
the 20th anniversary of the International Conference on Logical
Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,
France, in December 2016. The 19 contributed papers, presented
together with 4 invited papers and 6 abstracts, were carefully
reviewed and selected from 38 submissions. The focus of the conference
is the use of type theoretic, proof theoretic, and model theoretic
methods for describing and formalising natural language syntax,
semantics, and pragmatics as well as the implementation of the
corresponding tools.
Автор: Arora, Sanjeev Barak, Boaz Название: Computational complexity ISBN: 0521424267 ISBN-13(EAN): 9780521424264 Издательство: Cambridge Academ Рейтинг: Цена: 9029.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.
Автор: Huet Название: Logical Frameworks ISBN: 0521413001 ISBN-13(EAN): 9780521413008 Издательство: Cambridge Academ Рейтинг: Цена: 14254.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Автор: Cook Название: Logical Foundations of Proof Complexity ISBN: 1107694116 ISBN-13(EAN): 9781107694118 Издательство: Cambridge Academ Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.
Автор: de Berg Название: Computational Geometry ISBN: 3540779736 ISBN-13(EAN): 9783540779735 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.
Автор: Oded Goldreich Название: Computational complexity ISBN: 052188473X ISBN-13(EAN): 9780521884730 Издательство: Cambridge Academ Рейтинг: Цена: 11722.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A conceptual introduction to the study of the intrinsic complexity of computational tasks. It will serve advanced undergraduate and graduate students, either as a textbook or for self-study. It provides explanations of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness, and probabilistic proof systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
