Yazar
Polya, George.
Format:
Kitap
Alıntı:
Logic, Symbolic and mathematical.
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.
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
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