16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Pierce, Benjamin C., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format:
Electronic Resources
Alıntı:
Computer science -- Mathematics.
Yazar
Groote, J. F. (Jan Friso), 1965-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format:
Electronic Resources
Alıntı:
Computer science -- Mathematics.
View Other Search Results
Yazar
Szallasi, Zoltan.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267344
Format:
Electronic Resources
Alıntı:
SCIENCE -- Life Sciences -- Cell Biology.
Yazar
Baldi, Pierre, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267217
Format:
Electronic Resources
Alıntı:
Neural networks (Computer science)
Yazar
Schaathun, Hans Georg, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6331046
Format:
Electronic Resources
Alıntı:
Data encryption (Computer science)
Yazar
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format:
Electronic Resources
Alıntı:
Expert systems (Computer science)
Yazar
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format:
Electronic Resources
Alıntı:
Natural language processing (Computer science)
Yazar
Allen, Jonathan, 1934-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276833
Format:
Electronic Resources
Alıntı:
Department of Mathematics and a member of the Laboratory for Computer Science at MIT.
Yazar
Zhang, Michael Q.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267403
Format:
Electronic Resources
Alıntı:
Molecular biology -- Mathematics.
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
Gregg, John. author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format:
Electronic Resources
Alıntı:
IEEE Press understanding science & technology series ;
12.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
Automatic theorem proving -- Computer programs.
16 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: