Logic and its applications [E-Book] : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings / ed. by R. Ramanujam ...
Ramanujam, R., (editor)
Berlin : Springer, 2009
online resource
englisch
9783540927006
9783540927013 (e-book)
Lecture notes in computer science ; 5378
Full Text
Description not available.