JayHalcomb: Difference between revisions
Ontolog Forum
imported>PeterYim (Last updated at: 2007-06-20 22:27:29 By user: PeterYim) |
(No difference)
|
Latest revision as of 04:13, 14 December 2015
Jay Halcomb
Jay Halcomb
Partner,
H&S Information Systems
California, USA.
My background is in logic, mathematics and philosophy, and in computer science as a programmer. I am particularly interested in theorem provers.
...(Jay, at your convenience, please expand on this namesake page of yours so that the community can get to know you better. Welcome! =ppy)