驗證網址citeseerx.ist.psu.edu安全性

CiteSeerX — Executable English

CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Abstract: This paper introduces a declarative formal language, called Executable English, for specifying computations. The language is ... ......

網址安全性掃描由 google 提供