| version 1.1, 2000/07/20 07:05:28 |
version 1.2, 2000/07/21 01:34:53 |
|
|
| % $OpenXM$ |
% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 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{red} MGTP} (Theorem prover). |
{\color{green} www.klic.org}, |
| |
{\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp). |
| |
|
| \noindent |
\noindent |
| {\color{red} Mathematica} |
{\color{red} Mathematica} : http://www.wolfram.com |
| |
|
| \noindent |
\noindent |
| {\color{red} sm1} : |
{\color{red} sm1} : |
| Postscript-like top level language |
Postscript-like top level language |
| |
|
| |
\bigbreak |
| |
\noindent |
| |
Comming soon: Ruby and Macaulay 2 clients. |
| |
Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers, ox\_gnuplot, |
| |
omProxy, ox\_math. Work on progress for many new servers. |
| |
|
| |
\medbreak |
| |
\noindent |
| |
\rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }} |
| |
|
| |
|
| \end{document} |
\end{document} |
| |
|
![[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