Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Institut national de recherche en informatique et en automatique (France)
Format: Buch
Sprache:Englisch
Veröffentlicht: Los Alamitos, Calif. ; Tokyo IEEE Computer Society Press 1994
Schlagworte:
Electronic data processing > Congresses
Electronic digital computers > Programming > Congresses
ISBN:9780818663123, 9780818663109, 081866312X, 0818663103, 9780818663116, 0818663111
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Bibliographie:"IEEE Catalog Number 94CH3464-5"--T.p. verso
Includes bibliographies and index
ISBN:9780818663123
9780818663109
081866312X
0818663103
9780818663116
0818663111