![](/img/cover-not-exists.png)
Foundation of logic programming based on inductive definition
Masami Hagiya, Takafumi SakuraiVolume:
2
Language:
english
Pages:
19
DOI:
10.1007/bf03037052
Date:
March, 1984
File:
PDF, 768 KB
english, 1984