Logic, Language, and Computation, Helle Hvid Hansen; Sarah E. Murray; Mehrnoosh Sadr
Автор: V??n?nen Название: Logic, Language, Information, and Computation ISBN: 3662529203 ISBN-13(EAN): 9783662529201 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: From formal languages, Yaacov moved to natural languages. This third part of the three-volume set covers a range of topics related to language, ranging from linguistics to applications of computation to language, using linguistic tools.
Описание: More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age.This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
