Rewriting Techniques and Applications, Nachum Dershowitz
Автор: Ralf Treinen Название: Rewriting Techniques and Applications ISBN: 3642023479 ISBN-13(EAN): 9783642023477 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics.
Автор: Hubert Comon-Lundh; Claude Kirchner; H?l?ne Kirchn Название: Rewriting, Computation and Proof ISBN: 3540731466 ISBN-13(EAN): 9783540731467 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This title includes 13 refereed papers that are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a section entitled Towards Safety and Security.
Автор: Gilles Dowek Название: Rewriting and Typed Lambda Calculi ISBN: 331908917X ISBN-13(EAN): 9783319089171 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Автор: Matthias Jantzen Название: Confluent String Rewriting ISBN: 3540137157 ISBN-13(EAN): 9783540137153 Издательство: Springer Рейтинг: Цена: 9357.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: Thomas W. Cusick Название: Cryptographic Boolean Functions and Applications, ISBN: 0123748909 ISBN-13(EAN): 9780123748904 Издательство: Elsevier Science Рейтинг: Цена: 8083.00 р. Наличие на складе: Поставка под заказ.
Описание: Boolean functions are the building blocks of symmetric cryptographic systems. This book shows how Boolean functions are used in cryptography. It helps in the successful design or implementation of cryptographic algorithms or protocols using Boolean functions.
Автор: Stephane Kaplan; Jean-Pierre Jouannaud Название: Conditional Term Rewriting Systems ISBN: 3540192425 ISBN-13(EAN): 9783540192428 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
