Actions

Ontolog Forum

Revision as of 04:13, 14 December 2015 by imported>PeterYim (Last updated at: 2007-06-20 22:27:29 By user: PeterYim)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jay Halcomb

Jay Halcomb

Partner,

H&S Information Systems

California, USA.

http://www.hsinfosystems.com

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)