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