Search Results for Computer logic. - Narrowed by: English - Electronic books.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Electronic$002bbooks.$002509Electronic$002bbooks.$0026ps$003d300?2024-08-16T01:42:16ZDynamic logicent://SD_ILS/0/SD_ILS:145702024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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/>Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of setsent://SD_ILS/0/SD_ILS:151262024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Gregg, John. author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072</a><br/>Format: Electronic Resources<br/>The Practice of Prologent://SD_ILS/0/SD_ILS:146092024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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 from data : concepts, theory, and methodsent://SD_ILS/0/SD_ILS:149802024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Cherkassky, Vladimir S. author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201503">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201503</a><br/>Format: Electronic Resources<br/>The essence of logic circuitsent://SD_ILS/0/SD_ILS:151362024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Unger, Stephen H., 1931-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200</a><br/>Format: Electronic Resources<br/>Understanding neural networks and fuzzy logic : basic concepts and applicationsent://SD_ILS/0/SD_ILS:152932024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Kartalopoulos, Stamatios V., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099</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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:151352024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Akay, Metin.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178</a><br/>Format: Electronic Resources<br/>Computability : Turing, Gödel, Church, and beyondent://SD_ILS/0/SD_ILS:148472024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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/>Nonlinear biomedical signal processing.. Volume 2, Dynamic analysis and modelingent://SD_ILS/0/SD_ILS:151342024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Akay, Metin.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163</a><br/>Format: Electronic Resources<br/>Building ontologies with basic formal ontologyent://SD_ILS/0/SD_ILS:149522024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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-08-16T01:42:16Z2024-08-16T01:42:16ZYazar 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/>Computer, network, software, and hardware engineering with applicationsent://SD_ILS/0/SD_ILS:155202024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Schneidewind, Norman, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Electronic Resources<br/>Fundamentals of computational intelligence : neural networks, fuzzy systems, and evolutionary computationent://SD_ILS/0/SD_ILS:157462024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Keller, James M., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7547467">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7547467</a><br/>Format: Electronic Resources<br/>Fourier analysis on finite groups with applications in signal processing and system designent://SD_ILS/0/SD_ILS:151042024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Stankoviâc, Radomir S., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237943">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237943</a><br/>Format: Electronic Resources<br/>Low-power CMOS designent://SD_ILS/0/SD_ILS:151692024-08-16T01:42:16Z2024-08-16T01:42:16ZYazar Brodersen, Robert W., 1945-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263696">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263696</a><br/>Format: Electronic Resources<br/>