<![CDATA[Central Library Search for 'au:"Gamboa, Ruben."']]>

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

. XXII, 555 p. 90 illus. 9783319089706

Place Hold on Interactive Theorem Proving

]]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=58166 Interactive Theorem Proving ISBN 9783319089706 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93164

. XXII, 555 p. 90 illus. 9783319089706

Place Hold on Interactive Theorem Proving

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