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

A Proof Theory for Description Logics, Rademaker



Варианты приобретения
Цена: 4614р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 авг 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

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

Автор: Rademaker
Название:  A Proof Theory for Description Logics
ISBN: 9781447140016
Издательство: Springer
Классификация:
ISBN-10: 144714001X
Обложка/Формат: Paperback
Страницы: 106
Вес: 0.189 кг.
Дата издания: 01.05.2012
Серия: SpringerBriefs in Computer Science
Язык: English
Иллюстрации: 16 black & white illustrations, biography
Размер: 229 x 155 x 8
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии



Proof Theory for Fuzzy Logics

Автор: George Metcalfe; Nicola Olivetti; Dov Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 1402094086 ISBN-13(EAN): 9781402094088
Издательство: Springer
Рейтинг:
Цена: 16169 р.
Наличие на складе: Поставка под заказ.

Описание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.

Many-Dimensional Modal Logics: Theory and Applications,148

Автор: A. Kurucz
Название: Many-Dimensional Modal Logics: Theory and Applications,148
ISBN: 0444508260 ISBN-13(EAN): 9780444508263
Издательство: Elsevier Science
Рейтинг:
Цена: 16517 р.
Наличие на складе: Поставка под заказ.

Описание: Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.

Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

Автор: Comon Hubert, Marche Claude, Treinen Ralf
Название: Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
ISBN: 3540419500 ISBN-13(EAN): 9783540419501
Издательство: Springer
Рейтинг:
Цена: 6116 р.
Наличие на складе: Поставка под заказ.

Описание: Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.

Many-Valued Logics 2 / Automated Reasoning and Practical Applications

Автор: Bolc Leonard, Borowik Piotr
Название: Many-Valued Logics 2 / Automated Reasoning and Practical Applications
ISBN: 3540645071 ISBN-13(EAN): 9783540645078
Издательство: Springer
Рейтинг:
Цена: 10971 р.
Наличие на складе: Поставка под заказ.

Описание: Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.

Logics in Artificial Intelligence

Автор: Fari?as del Cerro
Название: Logics in Artificial Intelligence
ISBN: 3642333524 ISBN-13(EAN): 9783642333521
Издательство: Springer
Рейтинг:
Цена: 8085 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The papers cover various aspects of theory and methods of logic for artificial intelligence.

Protoalgebraic Logics

Автор: Czelakowski J.
Название: Protoalgebraic Logics
ISBN: 0792369408 ISBN-13(EAN): 9780792369400
Издательство: Springer
Рейтинг:
Цена: 20784 р.
Наличие на складе: Поставка под заказ.

Описание: Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.

Conditionals and Modularity in General Logics

Автор: Dov M. Gabbay; Karl Schlechta
Название: Conditionals and Modularity in General Logics
ISBN: 3642270654 ISBN-13(EAN): 9783642270659
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.

The Age of Alternative Logics

Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus
Название: The Age of Alternative Logics
ISBN: 9048124859 ISBN-13(EAN): 9789048124855
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.

Analysis and Synthesis of Logics

Автор: Carnielli
Название: Analysis and Synthesis of Logics
ISBN: 140206781X ISBN-13(EAN): 9781402067815
Издательство: Springer
Рейтинг:
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: Presents the mathematical theory of combining and decomposing logics. This book covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). It is suitable for those in mathematical logic, and theory of computation.

Semantics and Logics of Computation

Автор: Pitts
Название: Semantics and Logics of Computation
ISBN: 0521118468 ISBN-13(EAN): 9780521118460
Издательство: Cambridge Academ
Рейтинг:
Цена: 4792 р.
Наличие на складе: Поставка под заказ.

Описание: The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Bounded Variable Logics and Counting

Автор: Otto
Название: Bounded Variable Logics and Counting
ISBN: 1107167949 ISBN-13(EAN): 9781107167940
Издательство: Cambridge Academ
Рейтинг:
Цена: 13694 р.
Наличие на складе: Поставка под заказ.

Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

A General Algebraic Semantics for Sentential Logics

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

Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.


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