<![CDATA[Library Services | Technical University of Kenya Search for 'su:{Monoclonal antibodies.} and au:Paulson, Lawrence C.']]>

<![CDATA[Library Services | Technical University of Kenya Search for 'su:{Monoclonal antibodies.} and au:Paulson, Lawrence C.']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMonoclonal%20antibodies.%7D%20and%20au%3APaulson%2C%20Lawrence%20C.&format=rss2 2 0 50 Interactive Theorem Proving ISBN 9783642140525 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83627 By Kaufmann, Matt.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642140525

Place Hold on Interactive Theorem Proving

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83627 Interactive Theorem Proving ISBN 9783642140525 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=112397 By Kaufmann, Matt.. . XI, 495p. 82 illus. 9783642140525

Place Hold on Interactive Theorem Proving

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=112397