Computer Science Logic, Egon B?rger; Yuri Gurevich; Karl Meinke

Автор: Jacques Duparc; Thomas A. Henzinger
Название: Computer Science Logic
ISBN: 3540749144 ISBN-13(EAN): 9783540749141
Издательство: Springer
Рейтинг:
Цена: 12805.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. This book contains sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, and finite model theory.

Автор: Michael Kaminski; Simone Martini
Название: Computer Science Logic
ISBN: 3540875301 ISBN-13(EAN): 9783540875307
Издательство: Springer
Рейтинг:
Цена: 12196.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance.

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

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

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