Computer science logic：13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Corporate Authors: European Association for Computer Science Logic. Conference 1999 Madrid, Spain) (Madrid, Spain)); Workshop on Computer Science Logic 1999 Madrid, Spain) (Madrid, Spain))
Group Author: Rodríguez Artalejo M.; (Mario); Flum Jörg.
Published: Springer,
Publication Dates: c1999.
Call Number: TP301-532/C738-1/1999