Skip to content

On the Integration of Knowledge in a Propositional Logical Layer.

Sebastian Bab

VenueCIC3K
Year2011
ProceedingsKEOD

Browse the full IC3K paper archive.