Login / Signup
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013
Published in:
LFMTP (2013)
Keyphrases
</>
international workshop
pacific rim
domain driven data mining
revised selected papers
acm sigkdd
international conference
lecture notes in artificial intelligence
selected papers
cooperative
logical theories
databases
neural network
expert systems
fuzzy logic
international symposium