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
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.
10.
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.
Yazar
Toffoli, Tommaso, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267503
Format:
Electronic Resources
Alıntı:
physics, combinatorial mathematics, and computer science that deal with systems extended in space and
Yazar
Fishwick, Paul A.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267391
Format:
Electronic Resources
Alıntı:
Computer science.