عنوان
پدید آورنده
موضوع
رده
QA 75.5 .I38 2000
QA
75
.
5
.
I38
2000
کتابخانه
محل استقرار
Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
15th: 2000 : Santa Barbara, Calif.
Los Alamitos, Calif.
IEEE Computer Society
c2000
xiii, 425 p.: ill.
Includes bibliographies
ISBN: 0769507255
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
1
Congresses ، Computer science -- Mathematics
Congresses ، Logic, Symbolic and mathematical
QA
75
.
5
.
I38
2000
AU
CO Institute of Electrical and Electronics Engineers
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
CO Association for Symbolic Logic
CO European Association for Theoretical Computer Science
TI
IEEE Symposium on Logic in Computer Science
