Fifth Annual IEEE Symposium on Logic in Computer Science: Symposium Proceedings

European Association For Theoretical Com

ISBN 10: 0818620730 / ISBN 13: 9780818620737

Published by IEEE Computer Society Press,U.S., 1990

About this Item

509 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1250.

Seller Inventory # 1771977

Bibliographic Details

• Title: Fifth Annual IEEE Symposium on Logic in Computer Science: Symposium Proceedings
• Publisher: IEEE Computer Society Press,U.S.
• Publication Date: 1990
• Language: English
• ISBN 10: 0818620730
• ISBN 13: 9780818620737
• Binding: Softcover-Großformat
• Condition: Gut
• Seller catalogs:
  • 90 Varia

About this title

Synopsis

Proceedings of the 5th Annual IEEE Symposium on [title], held in Philadelphia, June 1990. Representative topics include abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification. No subject index. Annotation copyright Book News, Inc. Portland, Or.