<![CDATA[H.T. Parekh Library Search for 'su:{Logic programming.}']]>

<![CDATA[H.T. Parekh Library Search for 'su:{Logic programming.}']]> http://library.krea.edu.in//cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BLogic%20programming.%7D&sort_by=relevance&format=rss 2 0 50 Little typer / ISBN:9780262536431 (pbk.) http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=123300 ]]> By Friedman, Daniel P.,.
Cambridge : The MIT Press, 2018 .
xiii, 403 pages : 23 cm..
9780262536431 (pbk.)

]]> Place hold on Little typer /

]]> http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=123300 Logic in computer science: modelling and reasoning about systems / ISBN:9780521670890 (pbk.) http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124439 ]]> By Huth, Michael..
New York : Cambridge University Press, 2004 .
xiv, 427 p. : 25 cm..
9780521670890 (pbk.)

]]> Place hold on Logic in computer science: modelling and reasoning about systems /

]]> http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124439