作者查詢 / semop

總覽項目：發文 | 留言 | 暱稱

作者 semop 在 PTT [ PLT ] 看板的留言(推文), 共1則

限定看板：PLT

看板排序：

全部Soft_Job45ask-why14CSSE7Option5Cobras3HOT_Game2japanavgirls2Sabermetrics2Vocaloid2CFantasy1gallantry1Gossiping1LTK1PLT1sex1<< 收起看板(15)

首頁

上一頁

1

下一頁

尾頁

[閒聊] 邏輯式語言與函數式語言

[ PLT ]2 留言, 推噓總分: +1

作者: ephesians - 發表於 2007/02/25 04:24(17年前)

1^F推semop:Horn clause 是以 Alfred Horn 為名的...02/25 14:10

首頁

上一頁

1

下一頁

尾頁