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

Many-Dimensional Modal Logics: Theory and Applications,148, A. Kurucz



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

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

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

Автор: A. Kurucz
Название:  Many-Dimensional Modal Logics: Theory and Applications,148
ISBN: 9780444508263
Издательство: Elsevier Science
Классификация:
ISBN-10: 0444508260
Обложка/Формат: Hardback
Страницы: 766
Вес: 1.25 кг.
Дата издания: 21.10.2003
Серия: Studies in logic and the foundations of mathematics
Язык: English
Иллюстрации: Bibliography, index
Размер: 22.86 x 16.56 x 3.43
Читательская аудитория: Professional & vocational
Подзаголовок: Theory and applications
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



Logics in Artificial Intelligence / European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

Автор: Flesca Sergio, Ianni Giovambattista
Название: Logics in Artificial Intelligence / European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
ISBN: 3540441905 ISBN-13(EAN): 9783540441908
Издательство: Springer
Рейтинг:
Цена: 12126 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.

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.

Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition

Автор: Teutsch Heinz
Название: Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition
ISBN: 3540408932 ISBN-13(EAN): 9783540408932
Издательство: Springer
Рейтинг:
Цена: 15111 р.
Наличие на складе: Поставка под заказ.

Описание: Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed.

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.

A Proof Theory for Description Logics

Автор: Rademaker
Название: A Proof Theory for Description Logics
ISBN: 144714001X ISBN-13(EAN): 9781447140016
Издательство: Springer
Рейтинг:
Цена: 4614 р.
Наличие на складе: Поставка под заказ.

Описание: Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

Theorem Proving in Higher Order Logics / 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Автор: Basin David, Wolff Burkhart
Название: Theorem Proving in Higher Order Logics / 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
ISBN: 3540406646 ISBN-13(EAN): 9783540406648
Издательство: Springer
Рейтинг:
Цена: 9239 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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.

Substructural Logics: A Primer

Автор: Paoli F.
Название: Substructural Logics: A Primer
ISBN: 1402006055 ISBN-13(EAN): 9781402006050
Издательство: Springer
Рейтинг:
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: Preface. Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi. Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination and the decision problem. 4. Other formalisms. Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics. Appendix A: Basic glossary of algebra and graph theory. Appendix B: Other substructural logics. Bibliography. Index of subjects.

Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics

Автор: Ghilardi S., Zawadowski M.
Название: Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics
ISBN: 1402006608 ISBN-13(EAN): 9781402006609
Издательство: Springer
Рейтинг:
Цена: 17324 р.
Наличие на складе: Поставка под заказ.

Описание: This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-FraissГ© games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Logics in Artificial Intelligence / 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

Автор: Alferes Jose Julio, Leite Joao
Название: Logics in Artificial Intelligence / 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
ISBN: 3540232427 ISBN-13(EAN): 9783540232421
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.

Theorem Proving in Higher Order Logics / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Автор: Hurd Joe, Melham Tom
Название: Theorem Proving in Higher Order Logics / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
ISBN: 3540283722 ISBN-13(EAN): 9783540283720
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.


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