RecordNumber
34646
Title
Proceedings Symposium on Logic in Computer Science LICS'94, CNAM, Paris, France July 4-7, 1994
Author Statement
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRI
Publication
IEEE Computer Society Press
Publication Year
1994
Collation
xii, 517P., illus
Notes
0818663103
Subject
Logic, Symbolic and mathematical , Computer science
ADDED ENTRIES
,
LC Class
QA
LC Number
76.6
LC CutterNumber
.L5
LC Date
1994
وارد کنندة اطلاعات
محمدزاده