21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]. LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington /
Saved in:
Corporate Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Los Alamitos, Calif. :
IEEE Computer Society,
c2006.
|
Subjects: | |
Online Access: | http://ieeexplore.ieee.org/servlet/opac?punumber=11132 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01598cam a2200337Ia 4500 | ||
---|---|---|---|
001 | 001205294 | ||
005 | 20190624152718.0 | ||
006 | m | ||
008 | 061003s2006 caua sb 101 0 eng d | ||
007 | cr|||||||||||| | ||
020 | |z 0769526317 | ||
020 | |a 0769526314 | ||
020 | |a 9780769526317 | ||
040 | |a AZU |c AZU |d E9X | ||
111 | 2 | |a Symposium on Logic in Computer Science |n (21st : |d 2006 : |c Seattle, Washington) | |
245 | 1 | 0 | |a 21st Annual IEEE Symposium on Logic in Computer Science : |h [electronic resource] |b LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington / |c sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]. |
246 | 3 | 0 | |a LICS 2006 |
246 | 3 | 0 | |a IEEE Symposium on Logic in Computer Science |
246 | 3 | 0 | |a Logic in Computer Science |
260 | |a Los Alamitos, Calif. : |b IEEE Computer Society, |c c2006. | ||
500 | |a "IEEE Computer Society Order Number P2631"--T.p. verso. | ||
650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
710 | 2 | |a IEEE Computer Society. |b Technical Committee on Mathematical Foundations of Computing. | |
710 | 2 | |a Cadence Industries Corporation. | |
710 | 2 | |a IEEE Xplore (Online service) | |
740 | 0 | |a Logic in Computer Science, 2006 21st Annual IEEE Symposium on. | |
856 | 4 | |u http://ieeexplore.ieee.org/servlet/opac?punumber=11132 |4 Suppress | |
940 | |a PILKL |b EB | ||
952 | |0 0 |1 0 |4 0 |7 0 |9 776651 |a ONLINE |b ONLINE |c EB |d 2010-05-26 |l 0 |p B375636 |r 2018-02-01 |w 2018-02-01 |y ONLINE | ||
999 | |c 478334 |d 478334 |