包含标签 "逻辑" 的文章

• Mar 17, 2022 + 686 字

  Racket 文档 Chapter 1- 6 笔记

  refer from Racket doc

• Feb 28, 2022 + 1622 字

  Z3 解决农夫过河问题

  逻辑运算在生活中的运用