<?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[NUST Institutions Library Catalogue Search for 'an:55697']]></title>
     <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?q=ccl=an%3A55697&amp;format=rss</link>
     <atom:link rel="self" type="application/rss+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?q=ccl=an%3A55697&amp;sort_by=relevance_dsc&amp;format=atom"/>
     <description><![CDATA[ Search results for 'an:55697' at NUST Institutions Library Catalogue]]></description>
     <opensearch:totalResults>5</opensearch:totalResults>
     <opensearch:startIndex>0</opensearch:startIndex>
     
       <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
     
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Computational Logic


    Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II /





</title>
       <dc:identifier>ISBN:9783540439608</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=31880</link>
        
       <description><![CDATA[









	   <p>By Kakas C. Antonis. 
	   Berlin : | Hong Kong : Springer-Verlag, 2002
                        . 2 v. :
                        
                         24 cm.. 
                         9783540439608
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=31880">Place Hold on <em>Computational Logic</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=31880</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Computing with logic :


    logic programming with Prolog / 





</title>
       <dc:identifier>ISBN:0-8053-6681-4 (pbk.) ;</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=193408</link>
        
       <description><![CDATA[









	   <p>By Maier, David. 
	   Menlo Park, Calif. : Benjamin/Cummings Pub. Co., 1988
                        . xxi, 535 p. :
                        
                         24 cm. 
                         0-8053-6681-4 (pbk.) ;
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=193408">Place Hold on <em>Computing with logic :</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=193408</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Logic in computer science :


    modelling and reasoning about systems /





</title>
       <dc:identifier>ISBN:052154310X (pbk.)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=211207</link>
        
       <description><![CDATA[









	   <p>By Huth, Michael,. 
	   Cambridge [U.K.] ; | New York : Cambridge University Press, 2004
                        . xiv, 427 p. :
                        
                         25 cm.. 
                         052154310X (pbk.)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=211207">Place Hold on <em>Logic in computer science :</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=211207</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Arithmetic and logic in computer systems /






</title>
       <dc:identifier>ISBN:0471469459 (cloth)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=566438</link>
        
       <description><![CDATA[









	   <p>By Lu, Mi.. 
	   Hoboken, NJ : Wiley-Interscience, 2004
                        . xxi, 246 p. :
                        
                         25 cm.. 
                         0471469459 (cloth)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=566438">Place Hold on <em>Arithmetic and logic in computer systems /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=566438</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Discrete structures, logic, and computability /






</title>
       <dc:identifier>ISBN:9780763772062 (hardcover) | 0763772062 (hardcover)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590852</link>
        
       <description><![CDATA[









	   <p>By Hein, James L.. 
	   Sudbury, Mass. : Jones and Bartlett Publishers, 2010
                        . xiv, 1009 p. :
                        
                         25 cm.. 
                         9780763772062 (hardcover) | 0763772062 (hardcover)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=590852">Place Hold on <em>Discrete structures, logic, and computability /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590852</guid>
     </item>
	 
   </channel>
</rss>





