Computer science logic：12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Corporate Authors: Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic)
Group Author: Gottlob G.; (Georg); Grandjean E.; (Etienne); Seyr Katrin.
Published: Springer,
Publication Dates: 1999.
Call Number: TP301-532/C738/1998/