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

Auteur principal collectivité : IEEE symposium on logic in computer science, 5, 1990, AuteurAuteur secondaire collectivité : IEEE computer society, Technical committee on mathematical foundations of computing, Collectivité éditorialeType 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, Proceedings, conferences, collections, etc. pertaining to computer science
68T27, Computer science, Logic in artificial intelligence
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Congrès Congrès CMI
Salle 2
68-06 IEE (Browse shelf(Opens below)) Available 01911-01

Notes bibliogr. Index

There are no comments on this title.

to post a comment.