Rewriting Techniques and Applications, Nachum Dershowitz

Автор: Ralf Treinen
Название: Rewriting Techniques and Applications
ISBN: 3642023479 ISBN-13(EAN): 9783642023477
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150507 ISBN-13(EAN): 9789048150502
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351304 ISBN-13(EAN): 9780792351306
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Thomas W. Cusick
Название: Cryptographic Boolean Functions and Applications,
ISBN: 0123748909 ISBN-13(EAN): 9780123748904
Издательство: Elsevier Science
Рейтинг:
Цена: 53890.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Gilles Dowek
Название: Rewriting and Typed Lambda Calculi
ISBN: 331908917X ISBN-13(EAN): 9783319089171
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Stephane Kaplan; Jean-Pierre Jouannaud
Название: Conditional Term Rewriting Systems
ISBN: 3540192425 ISBN-13(EAN): 9783540192428
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Hubert Comon-Lundh; Claude Kirchner; H?l?ne Kirchn
Название: Rewriting, Computation and Proof
ISBN: 3540731466 ISBN-13(EAN): 9783540731467
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Matthias Jantzen
Название: Confluent String Rewriting
ISBN: 3540137157 ISBN-13(EAN): 9783540137153
Издательство: Springer
Рейтинг:
Цена: 62380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.