Computer science logic
5th Workshop, CSL '91, Berne, Switzerland, October 1991
Livre Ecrit par: Workshop on Computer Science Logic (5th, Switzerland ; Publié en: 1992
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
viii, 428 p. ill.
;24 cm
ISBN: 354055789X
