Automatic compilation of logical specifications into efficient programs: Donald Cohen: Information Sciences Institute, Marina del Rev, November 1986

作者:

摘要

论文关键词:

论文评审过程:Available online 19 May 2003.

论文官网地址:https://doi.org/10.1016/0167-9236(87)90111-4