Fifth annual IEEE symposium on logic in computer science : June 4-7, 1990, Philadelphia, PA / the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
Type de document : CongrèsLangue : anglais.Pays : Etats Unis.Éditeur : Los Alamitos : IEEE Computer Society Press, 1990Description : (xvi, 509 p.) : ill. ; 29 cmISBN : 0818690739.Bibliographie : Notes bibliogr. Index.Sujet MSC : 68-06, Computer science, Proceedings, conferences, collections, etc.68T27, Computer science -- Artificial intelligence, Logic in artificial intelligence
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle R | 68-06 IEE (Browse shelf) | Available | 01911-01 |
Notes bibliogr. Index
There are no comments for this item.