\documentclass[a4paper,11pt]{article}
\usepackage[portuges]{babel}
\usepackage{hyperlatex}

\input{../xmlattributes.tex}

\dateportuges

\htmltitle{Dedu{\c c}{\~a}o Autom{\'a}tica}
\htmladdress{Pedro Quaresma de Almeida - pedro - mat uc pt}

\title{Dedu{\c c}{\~a}o Autom{\'a}tica}
%\author{Pedro Quaresma de Almeida}
\date{\today}


\begin{document}

\begin{center} 
  \maketitle  
\end{center}

\htmlrule

\begin{description}
\item[Artigos publicados ou apresentados em congressos] 
  \begin{itemize}
  \item \xlink{Implementing a Deduction System for a Guarded Commands
      Procedural Language Using a Generic Theorem
      Prover}{publicacoes/isai95.ps.gz}, Pedro Quaresma de Almeida,
    Proceedings of the 11th ISAI, CIS Report #9502, Center for
    Intelligent Systems, Technion - Israel Institute of Technology,
    Haifa, 1995.
  \end{itemize}

\item[Resanha:] Base de Dados sobre provadores de teoremas.
  \begin{itemize}
  \item \xlink{Resanha.dat}{resanha.dat}, ficheiro de texto em formato
    edb (Emacs database). 
  \item \xlink{Resanha.fmt}{resanha.fmt}, ficheiro de texto com a
    informa{\c c}{\~a}o referente {\`a} formata{\c c}{\~a}o da base de dados. 
  \end{itemize}
\item[Automated Reasoning System Implementations] 
  \begin{itemize}
  \item
    \xlink{Mechanized Reasoning Database
      (USA)}{http://www-formal.stanford.edu/clt/ARS/ars-db.html},  at
    Stanford University. 
  \item
    \xlink{Mechanized Reasoning Database
      (Germany)}{http://www-formal.stanford.edu/clt/ARS/ars-db.html}. 
    \item
      \xlink{Isabelle}{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}
      Isabelle generic theorem proving environment home-page at
      Cambridge, UK.
    \item
      \xlink{HOL}{http://www.cl.cam.ac.uk/lal_holdoc/hol-documentation.html}, Theorem Proving System (Cambridge Computer Lab).
    \item
      \xlink{ELF}{http://www.cs.cmu.edu/\~{}fp/elf.html}, Edinburgh
      Logical Framework, Carnegie Mellon University.
    \item \xlink{Logical
        Frameworks}{http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html}, home page at CMU. 
  \end{itemize}
\end{description}
\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

