<![CDATA[ Search for 'su:"Computer logic" and se:Lecture notes in computer science and su-to:Logic ']]>

<![CDATA[ Search for 'su:"Computer logic" and se:Lecture notes in computer science and su-to:Logic ']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20logic%22%20and%20se%3ALecture%20notes%20in%20computer%20science%20and%20su-to%3ALogic%20&format=rss2 2 0 50 Isabelle/HOL : a Proof Assistant for Higher-Order Logic ISBN 3540433767 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6194 By Paulson, Lawrence C.. Berlin: Springer-Verlag, 2002 . xiii, 218 p.; 24 cm.. 3540433767

Place Hold on Isabelle/HOL : a Proof Assistant for Higher-Order Logic

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6194 Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings ISBN 9783540240877 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22228 By Maher, M. J. . New York: Springer, 2004 . xii, 510 p.; 24 cm.. 9783540240877

Place Hold on Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings

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