Logic in Computer Science (6th Conference

The proceedings of the symposium LICS 91, held in Amsterdam, July 1991, comprise 40 papers on theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc.,...

Ausführliche Beschreibung

Gespeichert in:
1. Verfasser:
IEEE Computer Society Press
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1991
Zusammenfassung:
The proceedings of the symposium LICS 91, held in Amsterdam, July 1991, comprise 40 papers on theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Umfang:
1 online resource (440 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Computer programming > Congresses.
Electronic data processing > Congresses.
Bezugswerke: