Browsing by Subject "deduction and theorem proving"

H...............H

Browsing by Subject "deduction and theorem proving"

Sort by: Order: Results:

  • Ridoux, O.; Ferre, 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 ...

Search Cadair

Browse

My Account