Ninth annual IEEE symposium on logic in computer science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / the IEEE Technical Committee on Mathematical Foundations of Computing

Auteur principal collectivité : IEEE symposium on logic in computer science, 9, 1994, 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, 1994Description : 1 vol. (xii, 517 p.) : ill. ; 28 cmISBN: 0818663103.Bibliographie : Références bibliogr. en fin de chapitre. Index.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science
68T27, Computer science, Logic in artificial intelligence Item type: Congrès
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R 		68-06 IEE (Browse shelf(Opens below)) Available 01913-01

Références bibliogr. en fin de chapitre. Index

There are no comments on this title.

to post a comment.