Search Results for Computer logic. - Narrowed by: 2000
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092000$0025092000$0026ic$003dtrue$0026ps$003d300?
2025-12-12T14:20:19Z
Engines of logic : mathematicians and the origin of the computer
ent://SD_ILS/0/SD_ILS:132674
2025-12-12T14:20:19Z
2025-12-12T14:20:19Z
Author Davis, Martin.<br/>Preferred Shelf Number QA76.5 D38 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dynamic logic
ent://SD_ILS/0/SD_ILS:219967
2025-12-12T14:20:19Z
2025-12-12T14:20:19Z
Author Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational intelligence for decision support
ent://SD_ILS/0/SD_ILS:541561
2025-12-12T14:20:19Z
2025-12-12T14:20:19Z
Author Chen, Zhengxin.<br/>Preferred Shelf Number T58.62 .C33 1999<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420049145">https://www.taylorfrancis.com/books/9781420049145</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802158">https://www.taylorfrancis.com/books/9780367802158</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>