mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili
v2023.114.0
Published
面向计算机科学的数理逻辑系统建模与推理
Downloads
3
Readme
面向计算机科学的数理逻辑系统建模与推理
下载
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} 查看文档