欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
graph database 图形数据库,常用于社交关系链、关系图谱。
表和图
脑图
5类数据库
图数据库研究报告2016
恶意软件分析
JanusGraph