Author Statement
Santa Barbara
Collation
xiii, 425 P.: Figs
Addition
,
Title
Proceedings 15th annual IEEE symposium on logic in computer science
LC Class
005
LC Number
.131
LC CutterNumber
B 229 P
تاريخ ورود اطلاعات
1380/21/01
Publication Year
2000
Publication
IEEE Computer Society
Subject
Electronic data processing- Mathematics,Logic, symbolic and mathematical- Congresses
DocumentNumber
31937
ISBNN
, 1 , 3028 , 3-1
RecordNumber
9519