<![CDATA[ Search for 'au:"Vardi, Moshe Y."']]>

<![CDATA[ Search for 'au:"Vardi, Moshe Y."']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Vardi%2C%20Moshe%20Y.%22&format=rss2 2 0 50 Reasoning about knowledge ISBN 0262562006 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1614 By Halpern, Joseph Y.. Cambridge: MIT Press, 2003 . xiii, 517 p.; 23 cm.. 0262562006

Place Hold on Reasoning about knowledge

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1614 Formal techniques for networked and distributed systems - FORTE 2002 ISBN 3540001417 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=27126 By Peled, Doron A.. Berlin: Springer-Verlag, 2002 . ; 3540001417

Place Hold on Formal techniques for networked and distributed systems - FORTE 2002

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