Search Results for Mathematical logic. - Narrowed by: MIT Press, publisher. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMathematical$002blogic.$0026qf$003dAUTHOR$002509Yazar$002509MIT$002bPress$00252C$002bpublisher.$002509MIT$002bPress$00252C$002bpublisher.$0026ps$003d300? 2024-07-05T02:58:33Z Logic and information flow ent://SD_ILS/0/SD_ILS:14615 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Eijck, J. van (Jan)<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format:&#160;Electronic Resources<br/> The logic of knowledge bases ent://SD_ILS/0/SD_ILS:14579 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Levesque, Hector J., 1951-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format:&#160;Electronic Resources<br/> Logic programming and non-monotonic reasoning : proceedings of the first international workshop ent://SD_ILS/0/SD_ILS:14689 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Nerode, Anil, 1932-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format:&#160;Electronic Resources<br/> Learning and soft computing : support vector machines, neural networks, and fuzzy logic models ent://SD_ILS/0/SD_ILS:14466 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Kecman, V. (Vojislav), 1948-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294</a><br/>Format:&#160;Electronic Resources<br/> The outer limits of reason : what science, mathematics, and logic cannot tell us ent://SD_ILS/0/SD_ILS:14857 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Yanofsky, Noson S., 1967-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245</a><br/>Format:&#160;Electronic Resources<br/> Computability : Turing, G&ouml;del, Church, and beyond ent://SD_ILS/0/SD_ILS:14847 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Posy, Carl J, editor.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353</a><br/>Format:&#160;Electronic Resources<br/> Neural computing architectures : the design of brain-like machines ent://SD_ILS/0/SD_ILS:14382 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Aleksander, Igor.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267209">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267209</a><br/>Format:&#160;Electronic Resources<br/> Principles of cyber-physical systems ent://SD_ILS/0/SD_ILS:14938 2024-07-05T02:58:33Z 2024-07-05T02:58:33Z Yazar&#160;Alur, Rajeev, 1966-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352</a><br/>Format:&#160;Electronic Resources<br/>