Хайлтын үр дүнгүүд - "Automatic theorem proving."
Таны хайлт доторх Санал болгосон сэдвүүд.
Таны хайлт доторх Санал болгосон сэдвүүд.
-
1
Conditional and preferential logics proof methods and theorem proving /
Хэвлэсэн 2010Нөхцлүүд: “…Automatic theorem proving.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
2
Conditional and preferential logics proof methods and theorem proving /
Хэвлэсэн 2010Нөхцлүүд: “…Automatic theorem proving.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
3
The little prover /
Хэвлэсэн 2015Нөхцлүүд: “…Automatic theorem proving.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
4
The little prover /
Хэвлэсэн 2015Нөхцлүүд: “…Automatic theorem proving.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
5
Recent progress in the Boolean domain /
Хэвлэсэн 2014Нөхцлүүд: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
6
Recent progress in the Boolean domain /
Хэвлэсэн 2014Нөхцлүүд: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Цахим ном -
7
Proof technology and computation
Хэвлэсэн 2006Нөхцлүүд: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Бага хурлын үйл явц Цахим ном -
8
Proof technology and computation
Хэвлэсэн 2006Нөхцлүүд: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Цахим Бага хурлын үйл явц Цахим ном