Universal Algebra for Computer Scientists, Wolfgang Wechler

Автор: Bergman George M.
Название: Invitation to general algebra and universal constructions
ISBN: 3319114778 ISBN-13(EAN): 9783319114774
Издательство: Springer
Рейтинг:
Цена: 67070.00 T
Наличие на складе: Есть
Описание: An Invitation to General Algebra and Universal Constructions

Автор: Stephen D. Comer
Название: Universal Algebra and Lattice Theory
ISBN: 3540156917 ISBN-13(EAN): 9783540156918
Издательство: Springer
Рейтинг:
Цена: 32560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: B. Plotkin
Название: Universal Algebra, Algebraic Logic, and Databases
ISBN: 0792326652 ISBN-13(EAN): 9780792326656
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with the development of an algebraic model of databases. This book, in its first chapter, presents a general introduction. The following chapters deal with various aspects of universal algebra. It closes with a discussion and conclusions, and a bibliography. It is useful for mathematicians, computer scientists and database engineers.

Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz
Название: Algebraic Logic and Universal Algebra in Computer Science
ISBN: 0387972889 ISBN-13(EAN): 9780387972886
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.

Автор: Bai Chengming Et Al
Название: Operads And Universal Algebra - Proceedings Of The International Conference
ISBN: 9814365114 ISBN-13(EAN): 9789814365116
Издательство: World Scientific Publishing
Рейтинг:
Цена: 111930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exemplifies the developments in operad theory, in universal algebra and related topics in algebraic topology and theoretical physics.

Автор: R.S. Freese; O.C. Garcia
Название: Universal Algebra and Lattice Theory
ISBN: 3540123296 ISBN-13(EAN): 9783540123293
Издательство: Springer
Рейтинг:
Цена: 32560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jorge Almeida; Gabriela Bordalo; Philip Dwinger
Название: Lattices, Semigroups, and Universal Algebra
ISBN: 1489926100 ISBN-13(EAN): 9781489926104
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of an international conference held in Lisbon, Portugal, June 20-24, 1988