<![CDATA[Central Library Search for 'au:"Blanchette, Jasmin Christian."']]>

<![CDATA[Central Library Search for 'au:"Blanchette, Jasmin Christian."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Blanchette%2C%20Jasmin%20Christian.%22&format=rss2 2 0 50 Interactive Theorem Proving ISBN 9783319431444 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52725

. XVII, 502 p. 88 illus. 9783319431444

Place Hold on Interactive Theorem Proving

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52725 Tests and Proofs ISBN 9783319212159 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52486

. XIX, 209 p. 57 illus. 9783319212159

Place Hold on Tests and Proofs

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52486