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 |