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):|
|2001-2-006.pdf||362 KBytes; 69378 KBytes|
|Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView|