Eastlund, Carl
primary topic: Carl Eastlund
type: Concept
modified: 2024-02-13T09:19:56
created: 2018-05-08
pref label: Eastlund, Carl
source: 定理証明手習い, 2017.10
source: LCCN: n2015005079
in scheme: personalNames

Carl Eastlund
type: Person
biographical information: ソフトウェアエンジニア