Search Results for - Narrowed by: IEEE Xplore (Online Service), distributor. - Automatic theorem proving. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509IEEE$002bXplore$002b$002528Online$002bService$002529$00252C$002bdistributor.$002509IEEE$002bXplore$002b$002528Online$002bService$002529$00252C$002bdistributor.$0026qf$003dSUBJECT$002509Konu$002509Automatic$002btheorem$002bproving.$002509Automatic$002btheorem$002bproving.$0026ic$003dtrue$0026ps$003d300? 2024-09-24T09:22:42Z The little prover ent://SD_ILS/0/SD_ILS:14950 2024-09-24T09:22:42Z 2024-09-24T09:22:42Z Yazar&#160;Friedman, Daniel P., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537</a><br/>Format:&#160;Electronic Resources<br/> Communication complexity : a new approach to circuit depth ent://SD_ILS/0/SD_ILS:14464 2024-09-24T09:22:42Z 2024-09-24T09:22:42Z Yazar&#160;Karchmer, Mauricio, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292</a><br/>Format:&#160;Electronic Resources<br/>