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
Рейтинг:
Цена: 107010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Paulson
Название: Logic and Computation
ISBN: 0521395607 ISBN-13(EAN): 9780521395601
Издательство: Cambridge Academ
Рейтинг:
Цена: 54910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Автор: Lev D. Beklemishev; Andreas Blass; Nachum Dershowi
Название: Fields of Logic and Computation II
ISBN: 3319235338 ISBN-13(EAN): 9783319235332
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 177010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Bob Coecke; Luke Ong; Prakash Panangaden
Название: Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
ISBN: 3642381634 ISBN-13(EAN): 9783642381638
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Paola Bonizzoni; Vasco Brattka; Benedikt L?we
Название: The Nature of Computation: Logic, Algorithms, Applications
ISBN: 3642390528 ISBN-13(EAN): 9783642390524
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.