Arama Sonuçları - Daraltılmış: Artificial intelligence. - 1987 - Théorèmes -- Démonstration automatique. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091987$0025091987$0026qf$003dSUBJECT$002509Konu$002509Th$0025C3$0025A9or$0025C3$0025A8mes$002b--$002bD$0025C3$0025A9monstration$002bautomatique.$002509Th$0025C3$0025A9or$0025C3$0025A8mes$002b--$002bD$0025C3$0025A9monstration$002bautomatique.$0026ps$003d300? 2024-05-29T15:34:25Z