Login / Signup
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015.
Published in:
LFMTP (2015)
Keyphrases
</>
international workshop
domain driven data mining
pacific rim
revised selected papers
acm sigkdd
lecture notes in artificial intelligence
selected papers
logical theories
computer science
special issue
international symposium
expressive power
lecture notes
data mining
international conference