Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Logic, Language, Information, and Computation, Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss


Варианты приобретения
Цена: 5590.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss
Название:  Logic, Language, Information, and Computation
ISBN: 9783662477083
Издательство: Springer
Классификация:



ISBN-10: 3662477084
Обложка/Формат: Paperback
Страницы: 201
Вес: 0.32 кг.
Дата издания: 07.07.2015
Серия: Theoretical Computer Science and General Issues
Язык: English
Размер: 234 x 156 x 12
Основная тема: Computer Science
Подзаголовок: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Logic, Language, Information, and Computation

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

Logic, Language, Information, 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.

Logic, Language, Information and Computation

Автор: Hiroakira Ono; Makoto Kanazawa; Ruy de Queiroz
Название: Logic, Language, Information and Computation
ISBN: 364202260X ISBN-13(EAN): 9783642022609
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. This title presents 25 revised full papers together with six tutorials and invited talks that were reviewed and selected from 57 submissions.

Logic, Language, Information and Computation

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

Logic, Language, Information, and Computation

Автор: 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.
Logic, Language, Information, and Computation

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

Logic, Language, and Computation

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

Logic, Language, and Computation

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

Logic, Language and Computation

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

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.

Application of Geographical Information Systems and Soft Computation Techniques in Water and Water Based Renewable Energy Problems

Автор: Mrinmoy Majumder
Название: Application of Geographical Information Systems and Soft Computation Techniques in Water and Water Based Renewable Energy Problems
ISBN: 9811062048 ISBN-13(EAN): 9789811062049
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book highlights the application of Geographical Information System (GIS) and nature based algorithms to solve the problems of water and water based renewable energy resources.

Pristine Perspectives on Logic, Language 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.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия