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


Download 326.53 Kb.
Просмотр текста
bet1/4
Sana28.03.2017
Hajmi326.53 Kb.


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