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


Rasmda raqamlar kiriting:








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