Mahsulot tavsifi
Mantiqiy dasturlash texnologiyasining nazariy asoslari, propozitsion va birinchi tartibli mantiq, unifikatsiya algoritmlari, deklarativ hamda protsedural talqin, semantikasi, qarorlilik masalalari, qidiruv strategiyalari va inkor
#prolog tili#mantiqiy ifodalar#formalizm
Muallif
Brend UzTasdiqlangan muallif
- Hujjatlari
- 74 898
- Sotilgan
- 2 234
