fieg/propositional-calculus

PHP中命题演算的实现

1.0 2014-06-02 22:20 UTC

This package is auto-updated.

Last update: 2024-08-29 04:09:00 UTC


README

PHP中命题演算的实现。

基于书籍《人工智能 - 计算代理的基础》第五章“命题与推理”,可在以下链接找到:Artificial Intelligence - foundations of computational agents,具体章节:5 Propositions and Inference