OntologyTalk: An Interview with Dr. Chad Brown, Part 1
Ғылым және технология
I interview Chad Brown about his work in higher order logic, including higher order theorem proving and set theory
I interview Chad Brown about his work in higher order logic, including higher order theorem proving and set theory
Пікірлер: 2
This is not Chad.
@adampease
2 жыл бұрын
just his body double :-)