Sign in

Multi-modal Mu-calculus Semantics for Knowledge Construction.

Susumu YamasakiMariko Sasakura
Published in: KEOD (2015)
Keyphrases