Logic, Algebra, and Computation, Friedrich L. Bauer; F.L. Bauer; W. Brauer; G. Huet

Автор: Juliette Kennedy; Ruy J.G.B. de Queiroz
Название: Logic, Language, Information, and Computation
ISBN: 3662553856 ISBN-13(EAN): 9783662553855
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.

Автор: Lev D. Beklemishev; Andreas Blass; Nachum Dershowi
Название: Fields of Logic and Computation II
ISBN: 3319235338 ISBN-13(EAN): 9783319235332
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.

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

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

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

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

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

Описание:

Автор: Helle Hvid Hansen; Sarah E. Murray; Mehrnoosh Sadr
Название: Logic, Language, and Computation
ISBN: 3662543311 ISBN-13(EAN): 9783662543313
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Language and Logic.- Logic and Computation.

Автор: Ulrich Kohlenbach; Pablo Barcel?; Ruy J G B de Que
Название: Logic, Language, Information, and Computation
ISBN: 3662441446 ISBN-13(EAN): 9783662441442
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.

Автор: Margot Colinet; Sophia Katrenko; Rasmus K. Rendsvi
Название: Pristine Perspectives on Logic, Language and Computation
ISBN: 3662441152 ISBN-13(EAN): 9783662441152
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.

Автор: Dragomir Radev; James Pustejovsky
Название: Puzzles in Logic, Languages and Computation
ISBN: 3642442439 ISBN-13(EAN): 9783642442438
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book collects engaging problems created for students competing in the Computational Linguistics Olympiad. It offers both linguistic and computational puzzles with their solutions. Recommended for anyone fascinated by the phenomena of human language.

Автор: Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss
Название: Logic, Language, Information, and Computation
ISBN: 3662477084 ISBN-13(EAN): 9783662477083
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Modeling Language Design for Complex Systems Simulation.- Formalization of Mathematics for Fun and Profit.- From Residuated Lattices via GBI-algebras to BAOs.- Towards a Nominal Chomsky Hierarchy.- Multi-Linear Algebraic Semantics for Natural Language.- Categories of Games.- Learning in the limit, general topology, and modal logic.- The Word Problem for Finitely Presented Quandles is Undecidable.- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.- On Topologically Relevant Fragments of the Logic of Linear Flows of Time.- An Equation-Based Classical Logic.- Cyclic multiplicative proof nets of linear logic with an application to language parsing.- A Dichotomy Result for Ramsey Quantifiers.- Parametric Polymorphism { Universally.- On the weak index problem for game automata.- Proof-theoretic aspects of the Lambek-Grishin Calculus.- Syllogistic Logic with "Most".- Characterizing Frame Definability in Team Semantics via The Universal Modality.- An Epistemic Separation Logic.- Equational properties of stratified least fixed points.- The p-adic integers as final coalgebra.