Semantics from Different Points of View, R. B?uerle; U. Egli; A.v. Stechow

Автор: Eric Pacuit
Название: Neighborhood Semantics for Modal Logic
ISBN: 3319671480 ISBN-13(EAN): 9783319671482
Издательство: Springer
Рейтинг:
Цена: 4611.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level);

Автор: B.A.M Bouman; Hans G.P. Jansen; Robert A. Schipper
Название: Tools for Land Use Analysis on Different Scales
ISBN: 9401057915 ISBN-13(EAN): 9789401057912
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Draheim, Dirk
Название: Semantics of the probabilistic typed lambda calculus
ISBN: 3642551971 ISBN-13(EAN): 9783642551970
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.

Автор: Font
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.

Автор: Saeed John I
Название: Semantics
ISBN: 1118430166 ISBN-13(EAN): 9781118430163
Издательство: Wiley
Рейтинг:
Цена: 6494.00 р.
Наличие на складе: Поставка под заказ.

Описание: ??Rarely do we get an introductory book with this breadth and depth of semanticconcepts. The writing is particularly clear, terms are well?“defined, and concepts followfrom simpler to more complex.??Marcia Haag, University of Oklahoma Praise for Previ

Автор: Aloni
Название: The Cambridge Handbook of Formal Semantics
ISBN: 1107028396 ISBN-13(EAN): 9781107028395
Издательство: Cambridge Academ
Рейтинг:
Цена: 16315.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal semantics - the study of meaning in natural language - is one of the most fundamental and established areas of linguistics. This Handbook brings together a team of leading scholars to survey the broad spectrum of endeavours in this field, including truth-conditional semantics, formal logic, set-theory and mereology and formal pragmatics.

Автор: Margarita V?zquez Campos; Antonio Manuel Liz Guti?
Название: Temporal Points of View
ISBN: 3319198149 ISBN-13(EAN): 9783319198149
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time.

Автор: E.H. Kharadze
Название: Stars and Galaxies from Observational Points of View / ?????? ? ????????? ? ?????????????? ???????
ISBN: 9401753083 ISBN-13(EAN): 9789401753081
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the Third European Astronomical Meeting, Tbilisi, July 1-5, 1975

Автор: Margarita V?zquez Campos; Antonio Manuel Liz Guti?
Название: Temporal Points of View
ISBN: 3319373196 ISBN-13(EAN): 9783319373195
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time.

Автор: Paul Saka; Michael Johnson
Название: The Semantics and Pragmatics of Quotation
ISBN: 3319687468 ISBN-13(EAN): 9783319687469
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The chapters in this volume address a variety of issues surrounding quotation, such as whether it is a pragmatic or semantic phenomenon, what varieties of quotation exist, and what speech acts are involved in quoting. Quotation poses problems for many prevailing theories of language.

Автор: Tobias Nipkow; Gerwin Klein
Название: Concrete Semantics
ISBN: 3319105418 ISBN-13(EAN): 9783319105413
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part II can be read even without familiarity with Isabelle`s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.