Based on an international workshop held on October 2-3, 1995 at the Logic Systems Laboratory in the Computer Science Department, Swiss Federal Institute of Technology. Includes bibliographical references.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.