511.3 / Sy68l
LOGIC IN COMPUTER SCIENCE
/ PROCEEDINGS
.- Washington, D. C.: Computer Society Pr., 1987
.- xi,361.
Sponsored By Computer Science Society Of Ieee, Technical Committee On Mathematical Foundations Of Computing
Subject Headings:
Logic, Symbolic And Mathematical -- Cong;
Computer Programe -- Cong;
Copy Details:
Acc. No.: A100084, Full Call No.: 511.3 Sy68l, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------