t_wの輪郭

RSS

第五世代コンピューター並行論理プログラミング言語

GHC

2024/3/17 13:44:00

Guarded Horn Clauses

並行論理プログラミング言語 GHC 近山隆

KL1

2024/3/17 13:45:00