عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .S9574a
QA
75
.
5
.
S9574a
کتابخانه
محل استقرار
136405
بهار۳۸
English
)91(
Proceedings
Washington, D.C.
IEEE Computer Society Press
1986-
v.: ill.; 28 cm
Published: Los Alamitos, CA, 1990-
Congresses ، Computer science
Congresses ، Computer programming
Congresses ، Logic, Symbolic and mathematical
Correctness ، Computer programs
QA
75
.
5
.
S9574a
AU
Symposium on Logic in Computer Science
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
CO Association for Symbolic Logic
CO ACM Special Interest Group for Automata and Computability Theory
CO European Association for Theoretical Computer Science
TI
Symposium on Logic in Computer Science
129
