Piton

EISBN：9780585336541

PISBN：9780792339205

出版社：Springer Netherlands

出版类型：Contributed volume

出版时间：1996

版次：1996

作者：J Strother Moore

主题词：Computer Science,Computer Science,general,Programming Languages,Compilers,Interpreters,Mathematical Logic and Foundations

语种：英语

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

丛书题名：Automated Reasoning Series