Arama Sonuçları Logic design - Daraltılmış: Logica.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogic$002bdesign$0026qf$003dSUBJECT$002509Konu$002509Logica.$002509Logica.$0026ps$003d300?dt=list2026-07-31T07:29: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-07-31T07:29:40Z2026-07-31T07:29: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/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:11873512026-07-31T07:29:40Z2026-07-31T07:29:40Zby Gabbay, Dov M., 1945-<br/><a href="http://www.sciencedirect.com/science/handbooks/18745857/1">to access electronic resource</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=1">http://www.sciencedirect.com/science/publication?issn=18745857&volume=1</a><br/>Format: Elektronik Kaynak<br/>