Arama Sonuçları - Daraltılmış: Artificial intelligence. - Künstliche Intelligenz - 1987
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509K$0025C3$0025BCnstliche$002bIntelligenz$002509K$0025C3$0025BCnstliche$002bIntelligenz$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091987$0025091987$0026ps$003d300;jsessionid=3C7E67713FC7DFC7AF21119FCAEE6A3E?
2024-05-28T20:43:21Z
A many-sorted calculus based on resolution and paramodulation
ent://SD_ILS/0/SD_ILS:1176134
2024-05-28T20:43:21Z
2024-05-28T20:43:21Z
by Walther, Christoph.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780273087182">http://www.sciencedirect.com/science/book/9780273087182</a><br/>Format: Elektronik Kaynak<br/>