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