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} }} |
|
|