Logics of Programs, E. Clarke; D. Kozen

Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han
Название: Semantics, Logics, and Calculi
ISBN: 3319278096 ISBN-13(EAN): 9783319278094
Издательство: Springer
Рейтинг:
Цена: 6830.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 9146.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

Автор: Josep M. Font; Ramon Jansana
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 3540616993 ISBN-13(EAN): 9783540616993
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The purpose of this monograph is to develop a very general approach to the algebra- ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others.

Автор: Mark Aagaard; John Harrison
Название: Theorem Proving in Higher Order Logics
ISBN: 3540678638 ISBN-13(EAN): 9783540678632
Издательство: Springer
Рейтинг:
Цена: 12196.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.

Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing
Название: Logics in Artificial Intelligence
ISBN: 3540878025 ISBN-13(EAN): 9783540878025
Издательство: Springer
Рейтинг:
Цена: 9146.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 2
ISBN: 3642084176 ISBN-13(EAN): 9783642084171
Издательство: Springer
Рейтинг:
Цена: 11586.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.

Автор: Gopal Gupta
Название: Multiprocessor Execution of Logic Programs
ISBN: 0792394895 ISBN-13(EAN): 9780792394891
Издательство: Springer
Рейтинг:
Цена: 19509.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. This title is suitable for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems.

Автор: Norman D. Thomson
Название: APL Programs for the Mathematics Classroom
ISBN: 0387970029 ISBN-13(EAN): 9780387970028
Издательство: Springer
Рейтинг:
Цена: 12805.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The idea for this book grew out of proposals at the APL86 con- ference in Manchester which led to the initiation of the I-APL (International APL) project, and through it to the availability of an interpreter which would bring the advantages of APL within the means of vast numbers of school children and their teachers.

Автор: D. Kozen
Название: Logics of Programs
ISBN: 354011212X ISBN-13(EAN): 9783540112129
Издательство: Springer
Рейтинг:
Цена: 4268.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With contributions by nummerous experts

Автор: A. Salwicki
Название: Logics of Programs and Their Applications
ISBN: 3540119817 ISBN-13(EAN): 9783540119814
Издательство: Springer
Рейтинг:
Цена: 2804.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Manuel Hermenegildo; S.Doaitse Swierstra
Название: Programming Languages: Implementations, Logics and Programs
ISBN: 354060359X ISBN-13(EAN): 9783540603597
Издательство: Springer
Рейтинг:
Цена: 10976.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of these languages in constructing real programs.

Автор: Herbert Kuchen; S.Doaitse Swierstra
Название: Programming Languages: Implementations, Logics, and Programs
ISBN: 3540617566 ISBN-13(EAN): 9783540617563
Издательство: Springer
Рейтинг:
Цена: 10976.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings are organized into topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, and constraints.