Skip to main navigation Skip to search Skip to main content

The ICARUS-System for Interactive Coherence Establishment in Logic Programs

Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Fingerprint

Dive into the research topics of 'The ICARUS-System for Interactive Coherence Establishment in Logic Programs'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science