Computer Science Logic, Leszek Pacholski; Jerzy Tiuryn

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

Автор: Erich Gr?del; Reinhard Kahle
Название: Computer Science Logic
ISBN: 3642040268 ISBN-13(EAN): 9783642040269
Издательство: Springer
Рейтинг:
Цена: 12805.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL.

Автор: Lu Zhongwan
Название: Mathematical Logic For Computer Science (2Nd Edition)
ISBN: 9810230915 ISBN-13(EAN): 9789810230913
Издательство: World Scientific Publishing
Рейтинг:
Цена: 10930.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

Автор: Reghis
Название: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
ISBN: 0849331978 ISBN-13(EAN): 9780849331978
Издательство: Taylor&Francis
Рейтинг:
Цена: 18374.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.

Автор: Kueker
Название: Mathematical Logic and Theoretical Computer Science
ISBN: 0824777468 ISBN-13(EAN): 9780824777463
Издательство: Taylor&Francis
Рейтинг:
Цена: 43639.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.

Автор: Epstein
Название: Multiple-Valued Logic Design
ISBN: 0750302100 ISBN-13(EAN): 9780750302104
Издательство: Taylor&Francis
Рейтинг:
Цена: 59717.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.

Автор: Peter Paule
Название: Mathematics, Computer Science and Logic - A Never Ending Story
ISBN: 3319346822 ISBN-13(EAN): 9783319346823
Издательство: Springer
Рейтинг:
Цена: 11586.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents four mathematical essays that explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. It details the state of the art as well as new ideas and directions.

Автор: Steven Homer; Piergiorgio Odifreddi; Anil Nerode;
Название: Logic and Computer Science
ISBN: 3540527346 ISBN-13(EAN): 9783540527343
Издательство: Springer
Рейтинг:
Цена: 3043.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers.

Автор: Egon B?rger; Hans Kleine B?ning; Michael M. Richte
Название: Computer Science Logic
ISBN: 3540544879 ISBN-13(EAN): 9783540544876
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It was the fourth in a series of worskhops, following CSL`89 at the University of Kaiserslautern (see LNCS 440), CSL`88 at the University of Duisberg (see LNCS 385), and CSL`87 at the University of Karlsruhe (see LNCS 329).

Автор: Egon B?rger; Gerhard J?ger; Hans Kleine B?ning; Si
Название: Computer Science Logic
ISBN: 3540569928 ISBN-13(EAN): 9783540569923
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.

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