Proceedings / 17th Annual IEEE Symposium on Logic in Computer Science 22 - 25 July, 2002, Copenhagen, Denmark ; held in conjunction with the Third Federated Logic Conference
Gespeichert in:
Körperschaften: | , , |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Society
2002
|
Schlagworte: | |
Online Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | IEEE Computer Society order number PR01483. - Literaturangaben |
---|---|
Beschreibung: | XIII, 461 S |
ISBN: | 0769514839 0-7695-1483-9 0769514855 0-7695-1485-5 |