Puzzles in Logic, Languages and Computation, Dragomir Radev; James Pustejovsky

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

Описание:

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

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

Автор: Levesque Hector J.
Название: Thinking as Computation: A First Course
ISBN: 0262016990 ISBN-13(EAN): 9780262016995
Издательство: MIT Press
Рейтинг:
Цена: 4967.00 р.
Наличие на складе: Нет в наличии.

Описание: Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.

Автор: Friedrich L. Bauer; F.L. Bauer; W. Brauer; G. Huet
Название: Logic, Algebra, and Computation
ISBN: 3642768016 ISBN-13(EAN): 9783642768019
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25 - August 6, 1989.

Автор: S. Akama
Название: Logic, Language and Computation
ISBN: 940106377X ISBN-13(EAN): 9789401063777
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.

Автор: Guram Bezhanishvili; Sebastian L?bner; Vincenzo Ma
Название: Logic, Language, and Computation
ISBN: 3642369758 ISBN-13(EAN): 9783642369759
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.

Автор: Leonid Libkin; Ulrich Kohlenbach; Ruy de Queiroz
Название: Logic, Language, Information, and Computation
ISBN: 3642399916 ISBN-13(EAN): 9783642399916
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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

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

Автор: Martin Aher; Daniel Hole; Emil Je??bek; Clemens Ku
Название: Logic, Language, and Computation
ISBN: 3662469057 ISBN-13(EAN): 9783662469057
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013.