<![CDATA[UCSC Library Search for '(su:"Mathematical Principles")']]>

<![CDATA[UCSC Library Search for '(su:"Mathematical Principles")']]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-search.pl?q=ccl=%28su%3A%22Mathematical%20Principles%22%29&format=rss 2 0 50 Automated Theorem Proving: Theory and Practice ISBN:9781461265191 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=23311 By NEWBORN;MONTY. New York:Springer-Verlag 2001 . 231 p. 9781461265191

Place hold on Automated Theorem Proving: Theory and Practice

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=23311 Decision Procedures: An Algorithmic Point of View ISBN:9783540741046 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=22001 By KROENING,DANIEL; STRICHMAN,OFER. Berlin:Springer-verlag 2008 . 304 p. 9783540741046

Place hold on Decision Procedures: An Algorithmic Point of View

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=22001