Logic and Its applications
Subtitle: third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings
By: R. Ramanujam, Sundar Sarukkai (eds,)
Contributors: Ramanujam, R., 1959-; Sarukkai, Sundar
Series: Lecture notes in computer science -- 5378. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 5378.; Lecture notes in computer science
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 268
ISBN-13: 9783540927006
Subjects: Symbolic and mathematical Logic; Mathematische Logik; Information theory; Congresses; Kongress
Other titles: ICLA 2009
Notes: Includes bibliographical references and index.