Search Results for Huth, Michael. SirsiDynix Enterprise https://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dHuth$00252C$002bMichael.$0026ps$003d300?dt=list 2025-10-07T04:38:54Z Logic in computer science : modelling and reasoning about systems ent://SD_ILS/0/SD_ILS:40832 2025-10-07T04:38:54Z 2025-10-07T04:38:54Z by&#160;Huth, Michael.<br/><a href="http://www.loc.gov/catdir/description/cam041/2004045921.html">http://www.loc.gov/catdir/description/cam041/2004045921.html</a> <a href="http://www.loc.gov/catdir/samples/cam041/2004045921.html">http://www.loc.gov/catdir/samples/cam041/2004045921.html</a> <a href="http://www.loc.gov/catdir/toc/cam041/2004045921.html">http://www.loc.gov/catdir/toc/cam041/2004045921.html</a><br/>Format:&#160;Books<br/>Publication Date&#160;2004<br/> Logic in computer science : modelling and reasoning about systems ent://SD_ILS/0/SD_ILS:35977 2025-10-07T04:38:54Z 2025-10-07T04:38:54Z by&#160;Huth, Michael, 1962-<br/>Format:&#160;Books<br/>Publication Date&#160;2004<br/>