<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[SNU Library Search for 'su:&quot;First order Logic&quot;']]> </title> <link> https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22First%20order%20Logic%22&#38;sort_by=&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22First%20order%20Logic%22&#38;sort_by=&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;First order Logic&quot;' at SNU Library]]> </description> <opensearch:totalResults>6</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22First%20order%20Logic%22&#38;sort_by=&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522First%2520order%2520Logic%2522" startPage="" /> <item> <title> Artificial Intelligence (Video Lecture Module 9) : First Order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10837</link> <description> <![CDATA[ <p> By Dasgupta, P..<br /> IIT Kharagpur , Indian Institute of Technology Kharagpur .<br /> 59 min. 50 sec. </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=10837">Place hold on <em>Artificial Intelligence (Video Lecture Module 9)</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10837</guid> </item> <item> <title> Artificial Intelligence (Video Lecture Module 10) : Inference in First Order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10839</link> <description> <![CDATA[ <p> By Dasgupta, P..<br /> IIT Kharagpur, Indian Institute of Technology Kharagpur .<br /> 59 min. 55 sec. </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=10839">Place hold on <em>Artificial Intelligence (Video Lecture Module 10)</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10839</guid> </item> <item> <title> Artificial Intelligence: First order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20545</link> <description> <![CDATA[ <p> By Basu, Anupam | Sarkar, S..<br /> Kharagpur Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20545">Place hold on <em>Artificial Intelligence:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20545</guid> </item> <item> <title> Artificial Intelligence: Reasoning Using First Order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20546</link> <description> <![CDATA[ <p> By Basu, Anupam | Sarkar, S..<br /> Kharagpur Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20546">Place hold on <em>Artificial Intelligence:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20546</guid> </item> <item> <title> Artificial Intelligence: First Order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20581</link> <description> <![CDATA[ <p> By Dasgupta, P..<br /> Kharagpur Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20581">Place hold on <em>Artificial Intelligence:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20581</guid> </item> <item> <title> Artificial Intelligence: Inference in First Order Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20582</link> <description> <![CDATA[ <p> By Dasgupta, P..<br /> Kharagpur Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20582">Place hold on <em>Artificial Intelligence:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20582</guid> </item> </channel> </rss>
