<![CDATA[ Search for 'Provider:MIT Press, and su-to:Science and su-to:Expert systems Computer science and su-to:Logic, Symbolic and mathematical']]>

<![CDATA[ Search for 'Provider:MIT Press, and su-to:Science and su-to:Expert systems Computer science and su-to:Logic, Symbolic and mathematical']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=Provider%3AMIT%20Press%2C%20and%20su-to%3AScience%20and%20su-to%3AExpert%20systems%20%20Computer%20science%20and%20su-to%3ALogic%2C%20Symbolic%20and%20mathematical&format=rss2 2 0 50 Logic of knowledge bases ISBN 9780262122320 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13864 By Levesque, Hector J.. Cambridge: MIT Press, 2000 . xviii, 282 p.; 24 cm.. 9780262122320

Place Hold on Logic of knowledge bases

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13864 Knowledge in action : logical foundations for specifying and implementing dynamical systems ISBN 9780262182188 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13903 By Reiter, Raymond. Cambridge: MIT Press, 2001 . xvi, 424 p.; 23 cm.. 9780262182188

Place Hold on Knowledge in action : logical foundations for specifying and implementing dynamical systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13903