Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana: 13th - Brossura

IEEE Computer Society

 
9780818685064: Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana: 13th
Brossura
ISBN 10: 0818685069 ISBN 13: 9780818685064
Casa editrice: IEEE Computer Society, 1998

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
IEEE Computer Society
Data di pubblicazione
1998
Lingua
Inglese
ISBN 10 
0818685069
ISBN 13 
9780818685064
Rilegatura
Copertina flessibile
Numero di pagine
500
Contatto del produttore
non disponibile
Persona responsabile
non disponibile