On the verification of modular logical knowledge bases

Grigoris Antoniou, Volker Sperschneider

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On the verification of modular logical knowledge bases'. Together they form a unique fingerprint.

Engineering & Materials Science