To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx> |
---|---|
Cc: | William Thomas <wthomas@xxxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>, David Kelley <dkelley@xxxxxxxxxxxxxxxx> |
From: | "Richard H. McCullough" <rhmccullough@xxxxxxxxx> |
Date: | Thu, 3 Apr 2014 15:19:37 -0700 |
Message-id: | <COL129-W581A3846C54D7C8F8D484DCB6C0@xxxxxxx> |
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] Hermeneutics and semiotics, Barkmeyer, Edward J |
---|---|
Next by Date: | Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough |
Previous by Thread: | [ontolog-forum] mKR proof of correctness, Richard H. McCullough |
Next by Thread: | [ontolog-forum] Proceedings: OntologySummit2014 session-12: Synthesis-II: Technical Tracks & Hackathon - Thu 2014.04.03, Peter Yim |
Indexes: | [Date] [Thread] [Top] [All Lists] |