mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili v2023.114.0

面向计算机科学的数理逻辑系统建模与推理

下载

Docker

docker pull apachecn0/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili
docker run -tid -p <port>:80 apachecn0/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili
# 访问 http://localhost:{port} 查看文档

PYPI

pip install mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili
mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili <port>
# 访问 http://localhost:{port} 查看文档

NPM

npm install -g mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili
mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili <port>
# 访问 http://localhost:{port} 查看文档