Computer science logic：15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Corporate Authors: CSL 2001 (2001 Paris, France; European Association for Computer Science Logic. Annual Conference 2001 Paris, France)
Group Author: Fribourg Laurent 1957-
Published: Springer,
Publication Dates: c2001.
Call Number: TP301-532/C738-1/2001