<![CDATA[ Search for 'Provider:Kluwer Academic Publishers and au:Moore, J Strother']]>

<![CDATA[ Search for 'Provider:Kluwer Academic Publishers and au:Moore, J Strother']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=Provider%3AKluwer%20Academic%20Publishers%20and%20au%3AMoore%2C%20J%20Strother&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