Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana - Couverture souple

IEEE Computer Society

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
IEEE Computer Society Press,U.S.
Date d'édition
1998
Langue
anglais
ISBN 10 
0818685069
ISBN 13 
9780818685064
Reliure
Broché
Nombre de pages
500
Coordonnées du fabricant
non disponible
Personne responsable
non disponible