<![CDATA[Indraprastha Institute of Information Technology, Delhi Search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Computer Science and su-to:Artificial intelligence and itype:EB and available and su-to:Computer science and su-to:Artificial Intelligence and su-to:Computer science and se:Information Systems and Applications, incl. Internet/Web, and HCI ']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMathematical%20Logic%20and%20Formal%20Languages.%7D%20and%20su-to%3AComputer%20Science%20and%20su-to%3AArtificial%20intelligence%20and%20itype%3AEB%20and%20available%20and%20su-to%3AComputer%20science%20and%20su-to%3AArtificial%20Intelligence%20and%20su-to%3AComputer%20science%20and%20se%3AInformation%20Systems%20and%20Applications%2C%20incl.%20Internet%2FWeb%2C%20and%20HCI%20&format=rss2 3 0 50