Logic and Its Applications
R. Ramanujam, Sundar Sarukkai
Logic and Its Applications - 2009
978-3-540-92701-3
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Programming Techniques
Theory of Computation
Programming Languages, Compilers, Interpreters
Computer Science
Logic and Its Applications - 2009
978-3-540-92701-3
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Programming Techniques
Theory of Computation
Programming Languages, Compilers, Interpreters
Computer Science