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.
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.
View Other Search Results
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
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.
Arama Sonuçlarını Sınırlandır
Daraltılmış: