Search Results for Computer logic. - Narrowed by: MIT PressSirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dLOCATION$002509Lokasyon$0025091$00253AMITPRESS$002509MIT$002bPress$0026ps$003d300?2024-09-22T23:59:49ZDynamic logicent://SD_ILS/0/SD_ILS:145702024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Harel, David, 1950-<br/>Abstract with links to resource <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/>Warren's abstract machine : a tutorial reconstructionent://SD_ILS/0/SD_ILS:143812024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Aït-Kaci, Hassan, 1954-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format: Electronic Resources<br/>Circuit design with VHDLent://SD_ILS/0/SD_ILS:144902024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Pedroni, Volnei A., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267318">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267318</a><br/>Format: Electronic Resources<br/>Logic testing and design for testabilityent://SD_ILS/0/SD_ILS:144372024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Fujiwara, Hideo, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264</a><br/>Format: Electronic Resources<br/>Logic and information flowent://SD_ILS/0/SD_ILS:146152024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar 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: Electronic Resources<br/>Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995ent://SD_ILS/0/SD_ILS:146922024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Sterling, Leon S., editor.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523</a><br/>Format: Electronic Resources<br/>The Practice of Prologent://SD_ILS/0/SD_ILS:146092024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Sterling, Leon.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439</a><br/>Format: Electronic Resources<br/>Circuit complexity and neural networksent://SD_ILS/0/SD_ILS:145942024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Parberry, Ian, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424</a><br/>Format: Electronic Resources<br/>Concurrent constraint programmingent://SD_ILS/0/SD_ILS:146702024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Saraswat, Vijay, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500</a><br/>Format: Electronic Resources<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:145792024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar 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: Electronic Resources<br/>Logic programming : proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:146862024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Małuszyński, J. (Jan), 1941-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517</a><br/>Format: Electronic Resources<br/>Logic programming and non-monotonic reasoning : proceedings of the first international workshopent://SD_ILS/0/SD_ILS:146892024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar 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: Electronic Resources<br/>Learning and soft computing : support vector machines, neural networks, and fuzzy logic modelsent://SD_ILS/0/SD_ILS:144662024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar 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: Electronic Resources<br/>Logic programming : proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:146942024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525</a><br/>Format: Electronic Resources<br/>Computationalism : new directionsent://SD_ILS/0/SD_ILS:146012024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Scheutz, Matthias.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431</a><br/>Format: Electronic Resources<br/>Computability : Turing, Gödel, Church, and beyondent://SD_ILS/0/SD_ILS:148472024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar 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: Electronic Resources<br/>Knowledge representationent://SD_ILS/0/SD_ILS:146772024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Brachman, Ronald J., 1949-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507</a><br/>Format: Electronic Resources<br/>Building ontologies with basic formal ontologyent://SD_ILS/0/SD_ILS:149522024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Arp, Robert, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7275982">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7275982</a><br/>Format: Electronic Resources<br/>Introduction to statistical relational learningent://SD_ILS/0/SD_ILS:144422024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Getoor, Lise.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267269">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267269</a><br/>Format: Electronic Resources<br/>A grammatical view of logic programmingent://SD_ILS/0/SD_ILS:146612024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Deransart, Pierre, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491</a><br/>Format: Electronic Resources<br/>Proof, language, and interaction : essays in honour of Robin Milnerent://SD_ILS/0/SD_ILS:145962024-09-22T23:59:49Z2024-09-22T23:59:49ZYazar Plotkin, G. (Gordon), 1946-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format: Electronic Resources<br/>