Browsing by Subject "deduction and theorem proving"

Sort by: Order: Results:

  • O.; Sebastien (2004)
    Logical Information Systems (LIS) use logic in a uniform way to describe theircontents, to query it, to navigate through it, to analyze it, and to maintain it.They can be given an abstract specification that does not depend ...