Arama Sonuçları - Daraltılmış: Artificial intelligence. - Kunstmatige intelligentie. - Mehrsortige Prädikatenlogik
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Kunstmatige$002bintelligentie.$002509Kunstmatige$002bintelligentie.$0026qf$003dSUBJECT$002509Konu$002509Mehrsortige$002bPr$0025C3$0025A4dikatenlogik$002509Mehrsortige$002bPr$0025C3$0025A4dikatenlogik$0026ps$003d300?
2024-05-31T11:04:00Z
A many-sorted calculus based on resolution and paramodulation
ent://SD_ILS/0/SD_ILS:1176134
2024-05-31T11:04:00Z
2024-05-31T11:04:00Z
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/>