Logic, Language, Information, and Computation, Moss

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

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

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

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

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

Автор: M‚zard, Marc; Montanari, Andrea
Название: Information, Physics, and Computation
ISBN: 019857083X ISBN-13(EAN): 9780198570837
Издательство: Oxford Academ
Рейтинг:
Цена: 15523.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.

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

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

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

Автор: Neil Jones; Masami Hagiya; Masahiko Sato
Название: Logic, Language and Computation
ISBN: 3540579354 ISBN-13(EAN): 9783540579359
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A survey of research developments in Japanese theoretical computer science, which explores logic, logic realization and its applications to computer science, the synthesis, transformation and implementation of programming languages, and complexity and coding theory.