Arama Sonuçları - Daraltılmış: Başkent Kütüphanesi - Artificial intelligence. - Automatic theorem proving.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLIBRARY$002509Library$0025091$00253ABASKENT$002509Ba$0025C5$00259Fkent$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Automatic$002btheorem$002bproving.$002509Automatic$002btheorem$002bproving.$0026ps$003d300;jsessionid=3B6E743657CE7C27CE9B70D6793313B1?
2024-06-14T21:43:57Z
Symbolic logic and mechanical theorem proving
ent://SD_ILS/0/SD_ILS:1177395
2024-06-14T21:43:57Z
2024-06-14T21:43:57Z
by Chang, Chin-Liang, 1937-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780080917283">https://www.sciencedirect.com/science/book/9780080917283</a><br/>Format: Elektronik Kaynak<br/>