Arama Sonuçları COMPUTERS -- Information Technology. - Daraltılmış: Bewijstheorie.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dCOMPUTERS$002b--$002bInformation$002bTechnology.$0026qf$003dSUBJECT$002509Konu$002509Bewijstheorie.$002509Bewijstheorie.$0026ps$003d300?2026-01-24T18:45:40ZHigher 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:11832042026-01-24T18:45:40Z2026-01-24T18:45:40Zby 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/>