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. - digital. - Lecture Notes in Computer Science, 6521 0302-9743 ; . - Lecture Notes in Computer Science, 6521 .
9783642180262
10.1007/978-3-642-18026-2 doi
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.
Q334-342 TJ210.2-211.495
006.3
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. - digital. - Lecture Notes in Computer Science, 6521 0302-9743 ; . - Lecture Notes in Computer Science, 6521 .
9783642180262
10.1007/978-3-642-18026-2 doi
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.
Q334-342 TJ210.2-211.495
006.3