欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp Science Foundation
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→链接) |
||
第59行: | 第59行: | ||
[[category:mathematics]] | [[category:mathematics]] | ||
[[category:physics]] | [[category:physics]] | ||
+ | [[category:cognitive science]] | ||
+ | [[category:computer science]] | ||
+ | [[category:artificial intelligence]] | ||
+ | [[category:data science]] | ||
[[category:Huihoo Foundation]] | [[category:Huihoo Foundation]] |
2022年8月11日 (四) 08:18的版本
Lisp Science Foundation
目录 |
简介
Lisp Science foundation
这里覆盖 Lisp 在[[science|科学]工程、计算机科学、认知科学、机器人、数学、物理、化学、天文学、航空航天、图像、视频、人工智能、数据科学等以及 STEM 方面的应用基础。
Lisp Web Foundation: Lisp Web 生态系统
Lisp Desktop Foundation: Lisp Desktop 生态系统
Lisp Mobile Foundation: Lisp Mobile 生态系统
科学工程
STEM
数学
物理
化学
计算机科学
认知科学
人工智能
数据科学
机器人
航空航天
图像视频
案例
图集
链接
分享您的观点