Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


Proceeding of the Second International Workshop of the Implementation of Logics

de Nivelle, Hans and Schulz, Stephan

MPI-I-2001-2-006. November 2001, ? 102 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
This report contains the papers that were
accepted for presentation at the Second International
Workshop on the Implementation of Logics. The workshop
took place in Havana, Cuba on December 8th 2001 in
conjunction with the 8th International Conference
on Logic for Programming, Artificial Intelligence and Reasoning.
All contributions were reviewed by an international programm
committee, whose names can be found elsewhere in this volume.
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s): KBytes; 69378 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document:
Hide details for BibTeXBibTeX
  AUTHOR = {de Nivelle, Hans and Schulz, Stephan},
  TITLE = {Proceeding of the Second International Workshop of the Implementation of Logics},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-2001-2-006},
  MONTH = {November},
  YEAR = {2001},
  ISSN = {0946-011X},