Arama Sonu&ccedil;lar&#305; - Daralt&#305;lm&#305;&#351;: COMPUTERS -- Reference. - Conference papers and proceedings. - Logic, Symbolic and mathematical. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509COMPUTERS$002b--$002bReference.$002509COMPUTERS$002b--$002bReference.$0026qf$003dSUBJECT$002509Konu$002509Conference$002bpapers$002band$002bproceedings.$002509Conference$002bpapers$002band$002bproceedings.$0026qf$003dSUBJECT$002509Konu$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300? 2024-06-23T23:09:41Z Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 ent://SD_ILS/0/SD_ILS:1183204 2024-06-23T23:09:41Z 2024-06-23T23:09:41Z by&#160;IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898807">http://www.sciencedirect.com/science/book/9780444898807</a><br/>Format:&#160;Elektronik Kaynak<br/>