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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------