Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana (Logic in Computer Science: Symposium Proceedings) - Softcover

IEEE Computer Society

 
9780818685064: Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana (Logic in Computer Science: Symposium Proceedings)
Softcover
ISBN 10: 0818685069 ISBN 13: 9780818685064
Verlag: IEEE Computer Society Press,U.S., 1998

Inhaltsangabe

This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
IEEE Computer Society Press,U.S.
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
0818685069
ISBN 13 
9780818685064
Einband
Taschenbuch
Anzahl der Seiten
500
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar