This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

A recently opened Dutch maritime museum makes information on its exhibits and reserve collections available to visitors via a computerized information system, which uses library computer software and videodisks to provide both textual and pictorial information on objects. Bibliographic information is also available on the museum library's…

This paper describes a model for managing a dynamic Web site with multiple concurrent versions. The voyage of the Duyfken Replica (i.e., a replica of a 17th century Dutch ship) from Australia to the Netherlands has generated great interest in its associated Web site, and it is now planned to extend the original site to mirror sites in both…

Describes a course on database construction that is given in the Department of Library and Information Studies at the General Polytechnic of Amsterdam. Objectives of the course are discussed, education for library and information science in the Netherlands is outlined, and a postgraduate course for practitioners is described. (LRW)

Discussion of the future possibilities of digital library systems highlights digital projects developed at Tilburg University (Netherlands). Topics addressed include online access to databases; electronic document delivery; agreements between libraries and Elsevier Science publishers to provide journal articles; full text document delivery; and…

TAIGA (Twente Advanced Interactive Graphic Authoring system) is a system which can be used to develop instructional software. It is written in MS-PASCAL, and runs on computers that support MS-DOS. Designed to support the production of structured software, TAIGA has a hierarchical structure of three layers, each with a specific function, and each…

Discussion of problems that organizations face regarding the selection, management, and accession of information services focuses on the extent to which document information systems (DIS) and text management systems (TMS) can improve the management and accessibility of information sources. Examples of TMS applications are described. (11…

Discussion of multimedia databases in education focuses on the development of an adaptable database in The Netherlands that uses optical storage media to hold the audiovisual components. Highlights include types of applications; types of users; accessibility; adaptation; an object-oriented approach; levels of the database architecture; and…

Computer-assisted school information systems (SISs) are developed and used worldwide; however, the literature on strategies for their design and development is lacking. This paper presents the features of a fundamental approach to systems design that proved to be successful when developing SCHOLIS, a computer-assisted SIS for Dutch secondary…

Describes the activities of SURFnet BV, a research network that provides information and communication services in higher education and scientific or industrial research in The Netherlands. Topics discussed include standardization; user services, including electronic mail; costs of using SURFnet; user support services; and the role of libraries in…

Science Across the World is an exchange programme between schools world-wide. It has two main components: existing resources for students (age 6-10) and a database with all participating schools. The programme exists since 1990. It is carried out in partnership with the British Association of Science Education (ASE) and international…

This book presents examples of how libraries are using XML (eXtensible Markup Language) to solve problems, expand services, and improve systems. Part I contains papers on using XML in library catalog records: "Updating MARC Records with XMLMARC" (Kevin S. Clarke, Stanford University) and "Searching and Retrieving XML Records via the…

Describes Pica, an organization in the Netherlands which evolved from the Project for Integrated Catalogue Automation that includes the National Library and all university libraries. Topics include the organizational structure, the shared online cataloging system, interlibrary loan, library networks and database access, and electronic document…