Fingerprint
Dive into the research topics of 'Automated support for the investigation of paraconsistent and other logics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automated support for the investigation of paraconsistent and other logics
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review