TAG:symbolic

Symbolic Logic (1897)(www.gutenberg.org)
2020-5-30 2:53
古腾堡项目符号逻辑电子书,作者刘易斯·卡罗尔这本电子书是供任何人在任何地方免费使用的,几乎没有任何限制。您可以根据本电子书附带的古腾堡项目许可条款复制、分发或重新使用它,也可以访问www.gutenberg.net标题:符号逻辑作者:刘易斯·卡罗尔发布日期:2009年5月5日[eBook#28696]语言:英语字符集......
2020-5-24 2:51
Klee是构建在LLVM编译器基础设施之上的符号虚拟机,在UIUC开放源码许可下可用。有关Klee是什么以及它能做什么的更多信息,请参阅OSDI2008文章。