↓ Skip to main content
What is this page? Embed badge

Management and Processing of Complex Data Structures

Overview of attention for book
Cover of 'Management and Processing of Complex Data Structures'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Complex structures in (deductive) database systems: Variables and open property sets
  3. Altmetric Badge
    Chapter 2 Object-oriented system specification using defaults
  4. Altmetric Badge
    Chapter 3 Terminologies and rules
  5. Altmetric Badge
    Chapter 4 Evolution towards, in, and beyond object databases
  6. Altmetric Badge
    Chapter 5 Expressive power and complexity of disjunctive datalog under the stable model semantics
  7. Altmetric Badge
    Chapter 6 Managing qualitative temporal information: Expressiveness vs. complexity
  8. Altmetric Badge
    Chapter 7 Database reasoning — A deductive framework for solving large and complex problems by means of subsumption
  9. Altmetric Badge
    Chapter 8 Theory reasoning in first order calculi
  10. Altmetric Badge
    Chapter 9 Modelling information systems as object societies
  11. Altmetric Badge
    Chapter 10 Conceptual modelling of large reusable knowledge bases
  12. Altmetric Badge
    Chapter 11 Tool integration in evolving information systems environments
Attention for Chapter 8: Theory reasoning in first order calculi
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Theory reasoning in first order calculi
Chapter number 8
Book title
Management and Processing of Complex Data Structures
Published by
Springer, Berlin, Heidelberg, February 1994
DOI 10.1007/3-540-57802-1_8
Book ISBNs
978-3-54-057802-4, 978-3-54-048335-9
Authors

Ulrich Furbach

View on publisher site

This page is provided by Altmetric.