Arama Sonuçları - Daraltılmış: English - Elsevier E-Kitap Koleksiyonu - COMPUTERS -- Computer Science. - Induction (logique) -- Congrès.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253AELSBOOK$002509Elsevier$002bE-Kitap$002bKoleksiyonu$0026qf$003dSUBJECT$002509Konu$002509COMPUTERS$002b--$002bComputer$002bScience.$002509COMPUTERS$002b--$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Konu$002509Induction$002b$002528logique$002529$002b--$002bCongr$0025C3$0025A8s.$002509Induction$002b$002528logique$002529$002b--$002bCongr$0025C3$0025A8s.$0026ps$003d300?dt=list2024-09-24T17:57:35ZHigher 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 '92ent://SD_ILS/0/SD_ILS:11832042024-09-24T17:57:35Z2024-09-24T17:57:35Zby 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: Elektronik Kaynak<br/>