Piton

EISBN：9780585336541

PISBN：9780792339205

出版社：Springer Netherlands

出版类型：Contributed volume

出版时间：1996

作者：J Strother Moore

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

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Automated Reasoning Series