11 sonuç bulundu
Tümünü Seç
00000000000DEFAULTTR
Yazar
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format:
Electronic Resources
Alıntı:
Logic, Symbolic and mathematical.
Yazar
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format:
Electronic Resources
Alıntı:
Logic, Symbolic and mathematical.
View Other Search Results
Yazar
Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format:
Electronic Resources
Alıntı:
Logic programming and non-monotonic reasoning : proceedings of the first international workshop /
Yazar
Kecman, V. (Vojislav), 1948-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294
Format:
Electronic Resources
Alıntı:
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models /
Yazar
Yanofsky, Noson S., 1967-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245
Format:
Electronic Resources
Alıntı:
The outer limits of reason : what science, mathematics, and logic cannot tell us / Yanofsky, Noson
Yazar
Levin, Michael I.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461
Format:
Electronic Resources
Alıntı:
in differential and integral calculus, electrical circuit theory, mathematical logic, game playing
Yazar
Posy, Carl J, editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353
Format:
Electronic Resources
Alıntı:
Mathematics -- Philosophy.
Yazar
Aleksander, Igor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267209
Format:
Electronic Resources
Alıntı:
work; the mathematical perspective (of logic, automata theory, and probability theory), presenting less
Yazar
Alur, Rajeev, 1966-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352
Format:
Electronic Resources
Alıntı:
verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive
Yazar
Lilly, John H., 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5733051
Format:
Electronic Resources
Alıntı:
Automatic control -- Mathematics.
Yazar
Stankoviâc, Radomir S., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237943
Format:
Electronic Resources
Alıntı:
Signal processing -- Mathematics.
11 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: