April 2008 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Apr 1 05:19:12 CDT 2008
Ending: Wed Apr 30 16:43:21 CDT 2008
Messages: 77

• [CL] [ontolog-forum] Fwd: ISO 24707 (Common Logic) freely available approved by JTC1   Christopher Menzel
• [CL] Apologies for multiple copies   John F. Sowa
• [CL] Equivalence of APP/PRED transformations == RE: Interpreted terms   Frank Loebe
• [CL] Equivalence of APP/PRED transformations == RE: Interpreted terms   Christopher Menzel
• [CL] Equivalence of APP/PRED transformations == RE: Interpreted terms   Pat Hayes
• [CL] Fwd: 24707 freely available approved by JTC1   Harry Delugach
• [CL] Fwd: 24707 freely available approved by JTC1   Cameron Ross
• [CL] Fwd: 24707 freely available approved by JTC1   Pat Hayes
• [CL] Fwd: 24707 freely available approved by JTC1   Bill Andersen
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Chris Menzel
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   John F. Sowa
• [CL] Interpreted terms   John F. Sowa
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Ed Barkmeyer
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Ed Barkmeyer
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Christopher Menzel
• [CL] Interpreted terms   Christopher Menzel
• [CL] Interpreted terms   Christopher Menzel
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Christopher Menzel
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Christopher Menzel
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Pat Hayes
• [CL] Interpreted terms   Randall R Schulz
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Bill Andersen
• [CL] Interpreted terms   Pat Hayes
• [CL] Needing negation as failure   Eric Peterson
• [CL] Needing negation as failure   John F. Sowa
• [CL] Preferred publication   Rinke Hoekstra
• [CL] Preferred publication   Harry Delugach
• [CL] Preferred publication   Rinke Hoekstra
• [CL] Preferred publication   Chris Menzel
• [CL] Processing CLIF in Lisp   Randall R Schulz
• [CL] Processing CLIF in Lisp   Bill Andersen
• [CL] Processing CLIF in Lisp   Randall R Schulz
• [CL] Processing CLIF in Lisp   Pat Hayes
• [CL] RE(2): Equivalence of APP/PRED transformations == RE: Interpreted terms   Frank Loebe
• [CL] RE(2): Equivalence of APP/PRED transformations == RE: Interpreted terms   Pat Hayes
• [CL] thanks!   Harry Delugach
• [CL] TPTP 3.4.1 Includes CLIF Exporter   Randall R Schulz

Last message date: Wed Apr 30 16:43:21 CDT 2008
Archived on: Wed Apr 30 16:43:30 CDT 2008

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...