登入選單
返回Google圖書搜尋
34th Annual Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
其他書名
November 3-5, 1993, Palo Alto, California : Proceedings [papers]
出版IEEE Computer Society Press, 1993
ISBN08186437069780818643705
URLhttp://books.google.com.hk/books?id=70YtAQAAMAAJ&hl=&source=gbs_api
註釋Proceedings of the 34th Annual Symposium on Foundations of Computer Science, held in Palo Alto, California, Novermber 1993. The chronological presentation includes discussion of Carnap's modal logic, power synchronization, dynamic word problems. No index. Annotation copyright by Book News, Inc., Portland, OR.