Workshop on Computer Science Logic (1996 :)
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Computer science logic = 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /
by:
Bezem, Marc.; Dalen, Dirk van.; SpringerLink (Online service); Workshop on Computer Science Logic (1996 :)
(Language materials, printed)
Subjects