-
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
-
وارد کنندة اطلاعات
محمدزاده
-
Link To Document :