# 面向计算机科学的数理逻辑系统建模与推理
## 下载
### 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} 查看文档
```
Raw data
{
"_id": null,
"home_page": "https://github.com/apachecn/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili",
"name": "mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.6",
"maintainer_email": "",
"keywords": "",
"author": "ApacheCN",
"author_email": "apachecn@163.com",
"download_url": "https://files.pythonhosted.org/packages/16/c9/6ebb409c89fc7408bdf5ca6a0bd5abb0506fa4dd52b18fa9d5b9ed527c2b/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili-2023.1.14.0.tar.gz",
"platform": null,
"description": "# \u9762\u5411\u8ba1\u7b97\u673a\u79d1\u5b66\u7684\u6570\u7406\u903b\u8f91\u7cfb\u7edf\u5efa\u6a21\u4e0e\u63a8\u7406\n\n## \u4e0b\u8f7d\n\n### Docker\n\n```\ndocker pull apachecn0/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili\ndocker run -tid -p <port>:80 apachecn0/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### PYPI\n\n```\npip install mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili\nmianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### NPM\n\n```\nnpm install -g mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili\nmianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n",
"bugtrack_url": null,
"license": "",
"summary": "\u9762\u5411\u8ba1\u7b97\u673a\u79d1\u5b66\u7684\u6570\u7406\u903b\u8f91\u7cfb\u7edf\u5efa\u6a21\u4e0e\u63a8\u7406",
"version": "2023.1.14.0",
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "7b300634e400e8f57ebccee6d60771773166ec6fa8ff253ec91260772bd55572",
"md5": "0b8bbc100c9ab701919c4cd31df7a393",
"sha256": "11401094b6e46ea2c4920124537b4c3d1e94474377605180c4ed08d03a58bf40"
},
"downloads": -1,
"filename": "mianxiang_jisuhanji_kexuede_shuli_luoji_xitong_jianmo_yutuili-2023.1.14.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "0b8bbc100c9ab701919c4cd31df7a393",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.6",
"size": 14143999,
"upload_time": "2023-01-14T11:04:32",
"upload_time_iso_8601": "2023-01-14T11:04:32.264945Z",
"url": "https://files.pythonhosted.org/packages/7b/30/0634e400e8f57ebccee6d60771773166ec6fa8ff253ec91260772bd55572/mianxiang_jisuhanji_kexuede_shuli_luoji_xitong_jianmo_yutuili-2023.1.14.0-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "16c96ebb409c89fc7408bdf5ca6a0bd5abb0506fa4dd52b18fa9d5b9ed527c2b",
"md5": "9fcf490cb69f8e898ea9abc726d26f76",
"sha256": "d18b5374b706a07370918803bde6f57a3bf1b11df6ca4c2121583c47652f540a"
},
"downloads": -1,
"filename": "mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili-2023.1.14.0.tar.gz",
"has_sig": false,
"md5_digest": "9fcf490cb69f8e898ea9abc726d26f76",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6",
"size": 14139638,
"upload_time": "2023-01-14T11:04:38",
"upload_time_iso_8601": "2023-01-14T11:04:38.833478Z",
"url": "https://files.pythonhosted.org/packages/16/c9/6ebb409c89fc7408bdf5ca6a0bd5abb0506fa4dd52b18fa9d5b9ed527c2b/mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili-2023.1.14.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-01-14 11:04:38",
"github": true,
"gitlab": false,
"bitbucket": false,
"github_user": "apachecn",
"github_project": "mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili",
"lcname": "mianxiang-jisuhanji-kexuede-shuli-luoji-xitong-jianmo-yutuili"
}