<![CDATA[ Search for 'su:"Expert Systems" and au:Moore, J Strother and au:Kaufmann, Matt']]>

<![CDATA[ Search for 'su:"Expert Systems" and au:Moore, J Strother and au:Kaufmann, Matt']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Expert%20Systems%22%20and%20au%3AMoore%2C%20J%20Strother%20and%20au%3AKaufmann%2C%20Matt&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