项目描述 ：
Knowledge Representation Assignments (SAT solver, CSP solver, Qualitative Reasoning)

高级语言： Jupyter Notebook

项目主页： http://www.coursecatalogue.uva.nl/xmlpages/page/2015-2016-en/search-course/course/1132340

项目地址: git://github.com/Ignotus/uva-knowledge-representation.git

创建时间： 2015-09-06T14:23:04Z
项目社区：https://github.com/Ignotus/uva-knowledge-representation
开源协议：MIT License
下载