(:source 
  :version  3 
  :ip-name "snekkar.ens.fr"
  :tcp-port 210
  :database-name "biblio-bibtex-maths-info-ens-ulm"
  :cost 0.00 
  :cost-unit :free 
  :maintainer "chounet@ens.fr"
  :description "Server created with WAIS release 8 b5.1 on Jun 25 14:12:18 1993 by root@dahabieh
The files of type bibtex used in the index were:
   /usr/local/wais/wais-sources/biblio-maths-bibtex


This source contains a partial list of the scientific works produced at:

	DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE (DMI)
	ECOLE NORMALE SUPERIEURE
        45, rue d'Ulm, 75230 Paris Cedex 05

This list is avaiable both in BibTteX refernce format (this source)
and in text format in source \"biblio-maths-info-ens-ulm\"

The technical reports of the DMI are also available in DVI format from
the ftp.ens.fr anonymous ftp server, in the directory pub/reports.


"
  )
