Handbook of Practical Logic and Automated Reasoning 论文

2009Cambridge University Press eBooks引用 284
DOI
Logic, programming, and type systems
Logic, programming, and type systems
关系图谱

Handbook of Practical Logic and Automated Reasoning · 作者

J

John Harrison