Browsing Bioinformatics and Computational Biology Group by Subject "deduction and theorem proving"

Sort by: Order: Results:

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

Advanced Search