LOGIDATA+: Deductive Databases with Complex Objects, Paolo Atzeni

Автор: Ahrendt
Название: Deductive Software Verification – The KeY Book
ISBN: 3319498118 ISBN-13(EAN): 9783319498119
Издательство: Springer
Рейтинг:
Цена: 12578.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

Автор: Francois Bry; Raghu Ramakrishnan; Kotagiri Ramamoh
Название: Deductive and Object-Oriented Databases
ISBN: 3540637923 ISBN-13(EAN): 9783540637929
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains 22 revised papers, abstracts or full versions of three invited talks, three tutorials and six presentations. The papers are organized in topical sections on subjects such as: materialized view maintenance; extending DBM features; and managing change in object databases.

Автор: Claude Delobel; Michael Kifer; Yoshifumi Masunaga
Название: Deductive and Object-Oriented Databases
ISBN: 3540550151 ISBN-13(EAN): 9783540550150
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the results of a conference which brought together researchers and developers in the fields of deductive and object-oriented databases in order to stimulate technical discussion and accelerate the integration of the two technologies.

Автор: Tok W. Ling; Alberto O. Mendelzon; Laurent Vieille
Название: Deductive and Object-Oriented Databases
ISBN: 3540606084 ISBN-13(EAN): 9783540606086
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD `95, held in Singapore in December 1995.Besides two keynote papers by Stefano Ceri and Michael Kifer, the book contains revised full versions of 28 papers selected from a total of 88 submissions.

Автор: Stefano Ceri; Katsumi Tanaka; Shalom Tsur
Название: Deductive and Object-Oriented Databases
ISBN: 3540575308 ISBN-13(EAN): 9783540575306
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases, held in Phoenix, Arizona, USA in December 1993. Both approaches are integrated so that the issues of modelling, organizing and processing data complement each other.

Автор: Geir B. Asheim
Название: The Consistent Preferences Approach to Deductive Reasoning in Games
ISBN: 1441938761 ISBN-13(EAN): 9781441938763
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Chapters 1 and 2 motivate the subsequent analysis by introducing the `consistent preferences` approach, and by presenting ex- amples and concepts that are revisited throughout the book. Chapters 3 and 4 present the decision-theoretic framework and the belief operators that are used in later chapters.

Автор: Manfred Broy
Название: Deductive Program Design
ISBN: 3642648495 ISBN-13(EAN): 9783642648496
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Автор: Evans
Название: The Psychology of Deductive Reasoning (Psychology Revivals)
ISBN: 1848723164 ISBN-13(EAN): 9781848723160
Издательство: Taylor&Francis
Рейтинг:
Цена: 7961.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Originally published in 1982, this was an extensive and up-to-date review of research into the psychology of deductive reasoning, Jonathan Evans presents an alternative theoretical framework to the rationalist approach which had dominated much of the published work in this field at the time.

Автор: Helmut Schmidt
Название: Meta-Level Control for Deductive Database Systems
ISBN: 3540537546 ISBN-13(EAN): 9783540537540
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph presents an expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains control information affecting the deduction process.

Название: Deductive Reasoning and Strategies
ISBN: 1138012599 ISBN-13(EAN): 9781138012592
Издательство: Taylor&Francis
Рейтинг:
Цена: 8573.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bk, which offers one of the 1st systematic attempts to discuss the role of strategies for deductive reasoning & brings together theoretical & empirical research, will be of interest to researchers/advanced students of cognitive psych.