Applied logic for computer scientists. Computational Deduction and formal Proofs, Mauricio Ayala Rincon

Автор: Slawomir Wiak; Andrzej Krawczyk; Ivo Dolezel
Название: Intelligent Computer Techniques in Applied Electromagnetics
ISBN: 3642097235 ISBN-13(EAN): 9783642097232
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains selected papers presented at the International Symposium on Electromagnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF`07 which was held in Prague, Czech Republic, September 13-15, 2007.

Автор: Jacques Duparc; Thomas A. Henzinger
Название: Computer Science Logic
ISBN: 3540749144 ISBN-13(EAN): 9783540749141
Издательство: Springer
Рейтинг:
Цена: 14673.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
Рейтинг:
Цена: 13974.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.