Normal view MARC view ISBD view

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, Computer science, Proceedings, conferences, collections, etc.
68T27, Computer science -- Artificial intelligence, Logic in artificial intelligence
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

Log in to your account to post a comment.