Computer science logic
5th Workshop, CSL '91, Berne, Switzerland, October 1991
كتاب من تأليف: Workshop on Computer Science Logic (5th, Switzerland ; نشر في: 1992
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
viii, 428 p. ill.
;24 cm
ISBN: 354055789X
