Arama Sonuçları Programming (Mathematics) - Daraltılmış: Automatisches Beweisverfahren
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dProgramming$002b$002528Mathematics$002529$0026qf$003dSUBJECT$002509Konu$002509Automatisches$002bBeweisverfahren$002509Automatisches$002bBeweisverfahren$0026ic$003dtrue$0026ps$003d300?
2026-01-21T09:18:48Z
Mathematics mechanization and applications
ent://SD_ILS/0/SD_ILS:1184926
2026-01-21T09:18:48Z
2026-01-21T09:18:48Z
by Gao, Xiao-Shan.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127347608">http://www.sciencedirect.com/science/book/9780127347608</a><br/>Format: Elektronik Kaynak<br/>