| version 1.3, 2000/07/22 00:31:06 |
version 1.4, 2000/08/03 00:46:13 |
|
|
| % $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.2 2000/07/21 01:34:53 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 |
![[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