Logic and Its Applications
Banerjee, Mohua.
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / [electronic resource] : edited by Mohua Banerjee, Anil Seth. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6521 0302-9743 ; .
9783642180262
Computer science
Computer software
Logic design
Electronic data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Computing Methodologies
Mathematics of Computing
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / [electronic resource] : edited by Mohua Banerjee, Anil Seth. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6521 0302-9743 ; .
9783642180262
Computer science
Computer software
Logic design
Electronic data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Computing Methodologies
Mathematics of Computing