عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 S94 1994
QA
76
.
9
.
M35
S94
1994
کتابخانه
محل استقرار
CE O
Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Los Alamitos, Calif.
IEEE Computer Society Press
1994
xii, 517 p. : ill
Cover title; 1994 IEEE 9th Annual Symposium on Logic in Computer Science
Includes bibliographical references and index
Computer science - Mathematics - Congresses
Logic, Symbolic and mathematical - Congresses
QA
76
.
9
.
M35
S94
1994
AU
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Symposium on Logic in Computer Science, )9th : 1994 : Paris, France(
Englis
