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

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:
Bibliographische Detailangaben
Körperschaften: Symposium on Logic in Computer Science (VerfasserIn), IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (BerichterstatterIn), Federated Logic Conference (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Los Alamitos, Calif. u.a. IEEE Computer Society 2002
Schlagworte:
Konferenzschrift > Informatik > Logik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:IEEE Computer Society order number PR01483. - Literaturangaben
Beschreibung:XIII, 461 S
ISBN:0769514839
0-7695-1483-9
0769514855
0-7695-1485-5