基本 DTL – 马克斯普朗克软件系统研究所作者：Deepak GargPDF书籍下载

原名:Basic DTL – Max Planck Institute for Software Systems by Deepak Garg
作品简介:DTL0 是我们目前正在开发的更大授权逻辑 DTL 的一个片段。后者相当广泛，包含一阶量词，显式……