Logic, Meaning and Computation, C. Anthony Anderson; Michael Zel?ny
Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: C. Anthony Anderson; Michael Zel?ny Название: Logic, Meaning and Computation ISBN: 140200141X ISBN-13(EAN): 9781402001413 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church`s own work. This work emphasises on foundational issues in logic, mathematics, computation, and philosophy. It is of interest to logicians, computer scientists, philosophers, and linguists.
Автор: 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.
Автор: 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 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: 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.
Автор: 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.
Автор: S. Akama Название: Logic, Language and Computation ISBN: 079234376X ISBN-13(EAN): 9780792343769 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers offering an account of many topics in the study of Logic, Language and Information. It addresses two important themes: how to handle quantification in natural language, and how to isolate genuine `logics of information`.
Автор: Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Lu Название: Domain Theory, Logic and Computation ISBN: 1402018320 ISBN-13(EAN): 9781402018329 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Domains are mathematical structures for information and approximation. This volume includes selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. The papers cover research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and more.
Автор: Wang Hao Название: Computation, Logic, Philosophy ISBN: 9401075611 ISBN-13(EAN): 9789401075619 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Описание: Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the disciplines of semantics, logic, games and quantum mechanics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
