Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

Proceedings from ICLA 2009 in Chennai compile advanced studies on logical frameworks, algorithmic reasoning, semantic analysis, and their use in software engineering, artificial intelligence, and formal methods.

Share: