Programming Languages: Implementations, Logics, and Programs, Herbert Kuchen; S.Doaitse Swierstra

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

Автор: Evan Tick; Giancarlo Succi
Название: Implementations of Logic Programming Systems
ISBN: 0792394577 ISBN-13(EAN): 9780792394570
Издательство: Springer
Рейтинг:
Цена: 139710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a collection of research papers in the area of the implementation of logic programming systems. This book is intended for those who seek an understanding of how to efficiently manage memory, generate fast code, perform static analyses, and design high-performance runtime features.

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

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Hugh Glaser; Peter Hartel; Herbert Kuchen
Название: Programming Languages: Implementations, Logics, and Programs
ISBN: 3540633987 ISBN-13(EAN): 9783540633983
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP `97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. This volume presents 25 papers selected from 68 submissions.

Автор: Manjunath Gorentla Venkata; Pavel Shamis; Neena Im
Название: OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
ISBN: 3319264273 ISBN-13(EAN): 9783319264271
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

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

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

Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In
Название: Models, Algorithms, Logics and Tools
ISBN: 3319631209 ISBN-13(EAN): 9783319631202
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Автор: Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Br
Название: Logics in Artificial Intelligence
ISBN: 3540411313 ISBN-13(EAN): 9783540411314
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

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