Search Results for Huth, Michael. - Narrowed by: 2004 SirsiDynix Enterprise https://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dHuth$00252C$002bMichael.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092004$0025092004$0026ps$003d300?dt=list 2025-10-06T18:07:16Z Logic in computer science : modelling and reasoning about systems ent://SD_ILS/0/SD_ILS:40832 2025-10-06T18:07:16Z 2025-10-06T18:07:16Z 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-06T18:07:16Z 2025-10-06T18:07:16Z by&#160;Huth, Michael, 1962-<br/>Format:&#160;Books<br/>Publication Date&#160;2004<br/>