helm/mathql/doc/mathql.tex

   1 \documentclass{llncs}
   2
   3 \usepackage{mathql_macros}
   4
   5 \title{MathQL-1 Version 4\\Reference Documentation}
   6 \author{Ferruccio Guidi%
   7 \thanks{This work has been partially supported by
   8 MoWGLI (European FET Project IST-2001-33562).}
   9 }
  10
  11 \institute{Department of Computer Science\\
  12 Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
  13 \email{fguidi@cs.unibo.it}}
  14
  15 \date{ }
  16
  17 \begin{document}
  18
  19 \maketitle
  20
  21 \begin{abstract}
  22 \end{abstract}
  23
  24 \tableofcontents
  25
  26 \input{mathql_overview}
  27 \input{mathql_introduction}
  28 \input{mathql_operational}
  29 \input{mathql_tests}
  30 \input{mathql_bib}
  31
  32 \end{document}