| version 1.2, 2000/07/21 01:34:53 |
version 1.4, 2000/08/03 00:46:13 |
|
|
| % $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 takayama Exp $ |
% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.3 2000/07/22 00:31:06 takayama Exp $ |
| \documentclass{slides} |
\documentclass{slides} |
| \usepackage{color} |
\usepackage{color} |
| \begin{document} |
\begin{document} |
| Line 17 Java classes to access to servers. |
|
| Line 17 Java classes to access to servers. |
|
| {\color{red} KLIC } : |
{\color{red} KLIC } : |
| A {\color{green} concurrent logic} programming language based |
A {\color{green} concurrent logic} programming language based |
| on Guarded Horn Clauses (born in the fifth generation computer project). \\ |
on Guarded Horn Clauses (born in the fifth generation computer project). \\ |
| {\color{green} www.klic.org}, |
{\color{green} www.klic.org}. |
| {\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp). |
|
| |
|
| |
|
| \noindent |
\noindent |
| {\color{red} Mathematica} : http://www.wolfram.com |
{\color{red} Mathematica} : http://www.wolfram.com |
| |
|
| Line 34 Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers |
|
| Line 34 Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers |
|
| omProxy, ox\_math. Work on progress for many new servers. |
omProxy, ox\_math. Work on progress for many new servers. |
| |
|
| \medbreak |
\medbreak |
| |
\vfill |
| \noindent |
\noindent |
| \rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }} |
\rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to client.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / calc2000p