Krishna S. profile picture

Krishna S.

Stand Alone

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings