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:
Bibliographic Details
Corporate Authors: Symposium on Logic in Computer Science Seattle, Washington, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Cadence Industries Corporation, IEEE Xplore (Online service)
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