Computer Science Logic, Dirk van Dalen; Marc Bezem

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 5487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz
Название: Algebraic Logic and Universal Algebra in Computer Science
ISBN: 0387972889 ISBN-13(EAN): 9780387972886
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Hans Kleine Buening
Название: Computer Science Logic
ISBN: 3540613773 ISBN-13(EAN): 9783540613770
Издательство: Springer
Рейтинг:
Цена: 10976.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages.

Автор: Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa
Название: Structures in Logic and Computer Science
ISBN: 3540632468 ISBN-13(EAN): 9783540632467
Издательство: Springer
Рейтинг:
Цена: 9146.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht`s scientific work. The book is organized in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, and combinatorics of word.

Автор: Georg Gottlob; Etienne Grandjean; Katrin Seyr
Название: Computer Science Logic
ISBN: 3540659226 ISBN-13(EAN): 9783540659228
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These 25 refereed post workshop papers and three reviewed invited papers span the whole scope of computer science logic and mathematical foundations and represent the late 1990`s "state of the art" in the area.

Автор: J?rg Flum; Mario Rodriguez-Artalejo
Название: Computer Science Logic
ISBN: 3540665366 ISBN-13(EAN): 9783540665366
Издательство: Springer
Рейтинг:
Цена: 12196.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL `99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The papers are organized in sections.

Автор: Yiannis N. Moschovakis
Название: Logic from Computer Science
ISBN: 1461276853 ISBN-13(EAN): 9781461276852
Издательство: Springer
Рейтинг:
Цена: 14635.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences.

Автор: Steven G. Krantz
Название: Handbook of Logic and Proof Techniques for Computer Science
ISBN: 146126619X ISBN-13(EAN): 9781461266198
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic is, and should be, the core subject area of modern mathemat- ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.