<![CDATA[ Search for 'au:"Moore, J Strother"']]>

<![CDATA[ Search for 'au:"Moore, J Strother"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Moore%2C%20J%20Strother%22&format=rss2 2 0 50 Computer-aided reasoning : an approach ISBN 0792377443 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3979 By Kaufmann, Matt. Boston: Kluwer Academic Publishers, 2000 . xv, 270 p.; 24 cm.. 0792377443

Place Hold on Computer-aided reasoning : an approach

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3979 Computer-aided reasoning : ACL2 case studies ISBN 0792378490 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3982 By Kaufmann, Matt. Boston: Kluwer Academic Publishers, 2000 . xv, 337 p.; 25 cm.. 0792378490

Place Hold on Computer-aided reasoning : ACL2 case studies

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