Mahsulot tavsifi
Mantiqiy dasturlashni cheklashlar (masalan, arifmetik, mantiqiy) qo'shish orqali kengaytiradi. ECLiPSe CLP kabi yechuvchilar mantiqiy dastur bandlari va cheklashlarni qanoatlantiruvchi yechimlarni topadi
#induktiv#deduktiv#clp
Muallif
Sotuvchi 115395Tasdiqlangan muallif
- Hujjatlari
- 46 663
- Sotilgan
- 2 147
