Computer science logic：10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Corporate Authors: European Association for Computer Science Logic. Conference 1996 Utrecht, Netherlands) (Utrecht, Netherlands)); Workshop on Computer Science Logic 1996 Utrecht, Netherlands) (Utrecht, Netherlands))
Group Author: (Dirk), 1932-; Bezem M.; (Marc) 1956-; Dalen D. van
Published: Springer,
Publication Dates: c1997.
Call Number: TP302.2-532/C738/1996/