Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012.

Published in: ITRS (2013)

Keyphrases

international workshop
international conference
management system
distributed systems
intelligent systems
computer systems
building blocks
complex systems
acm sigkdd
control system
ambient intelligence
workshop on artificial intelligence