Assat: Computing Answer Sets of a logic Program By sat solvers


Download 326.53 Kb.
Matnni ko'rish
bet1/4
Sana28.03.2017
Hajmi326.53 Kb.
#3329



Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling