Computer Science Logic, Hans Kleine Buening

Автор: 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.

Автор: Egon B?rger; Yuri Gurevich; Karl Meinke
Название: Computer Science Logic
ISBN: 3540582770 ISBN-13(EAN): 9783540582779
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.

Автор: Leszek Pacholski; Jerzy Tiuryn
Название: Computer Science Logic
ISBN: 3540600175 ISBN-13(EAN): 9783540600176
Издательство: Springer
Рейтинг:
Цена: 12805.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains revised versions of papers presented during the CSL `94 conference. Some aspects of the methods of mathematical logic in computer science covered include: lambda calculus, proof theory, finite model theory, logic programming, semantics and other logical systems.

Автор: Dirk van Dalen; Marc Bezem
Название: Computer Science Logic
ISBN: 3540631720 ISBN-13(EAN): 9783540631729
Издательство: Springer
Рейтинг:
Цена: 10976.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full papers. It addresses issues in the area of computer science logic research.

Автор: 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.