加载中…
2001-11-06
Sintesi di algoritmi con SKY
Giovambattista Ianni
文献摘要
This paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本