Arama Sonuçları - Daraltılmış: Artificial intelligence. - Automatic theorem proving. - Chang, Chin-Liang, 1937-
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Automatic$002btheorem$002bproving.$002509Automatic$002btheorem$002bproving.$0026qf$003dAUTHOR$002509Yazar$002509Chang$00252C$002bChin-Liang$00252C$002b1937-$002509Chang$00252C$002bChin-Liang$00252C$002b1937-$0026ps$003d300;jsessionid=A51A02B6B55006B4026440BE2151581F?
2024-05-31T04:32:49Z
Symbolic logic and mechanical theorem proving
ent://SD_ILS/0/SD_ILS:1177395
2024-05-31T04:32:49Z
2024-05-31T04:32:49Z
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/>