A Hybrid Abductive Inductive Proof Procedure

O Ray, K Broda, A Russo

Research output: Contribution to journalArticle (Academic Journal)peer-review

Fingerprint

Dive into the research topics of 'A Hybrid Abductive Inductive Proof Procedure'. Together they form a unique fingerprint.

Arts & Humanities