Dagstuhl Publiactions 1995

Social Science Microsimulation 1995

Logics for Databases and Information Systems

Jan Chomicki, Gunter Saake (Eds.): Logics for Databases and Information Systems. Kluwer Academic Publishers, 1998, the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995
Contents

Formal Methods for Industrial Applications 1995

CAD Systems Development 1995

Integration von Umweltdaten 1995

High-Speed Networking for Multimedia Applications 1995