عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 S94 1989
QA
76
.
9
.
M35
S94
1989
کتابخانه
محل استقرار
Proceedings
Washington, D.C
Computer Society Press
]1989[
xvi, 402 p. : ill
Computer Society order number 853
IEEE catalog number 88CH2608-8
Includes bibliographies and index
Fourth Annual Symposium on Logic in Computer Science, July 5-8, 9891, Asilomar confernce center, pacific grove, California; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
1
، Electronic data processing- Mathematics- Congresses
، Logic, Symbolic and mathematical- Congresses
QA
76
.
9
.
M35
S94
1989
NO
Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
AU
AU IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
TI
