Computer Science Logic

EISBN：9783540446224

PISBN：9783540678953

出版社：Springer Berlin Heidelberg

出版类型：Proceedings

出版时间：2000

版次：2000

作者：Peter G. Clote,Helmut Schwichtenberg

主题词：Computer Science,Programming Languages,Compilers,Interpreters,Computer System Implementation,Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Mathematical Logic and Foundations

语种：英语

所属数据库：SpringerLink电子图书(1815-2004)

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接