<![CDATA[ Search for 'su:"Higher order logics"']]>

<![CDATA[ Search for 'su:"Higher order logics"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Higher%20order%20logics%22&format=rss2 2 0 50 Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings ISBN 9783540283720 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6068 By Hurd, Joe. New York: Springer, 2005 . ix, 408 p.; 24 cm.. 9783540283720

Place Hold on Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6068 Introduction to Formal Hardware Verification ISBN 3540654453 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6287 By Kropf, Thomas. New York: Springer-Verlag, 1999 . 299 p.; 23 cm.. 3540654453

Place Hold on Introduction to Formal Hardware Verification

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6287