標(biāo)題: Titlebook: Algebraic and Logic Programming; Second International Hélène Kirchner,Wolfgang Wechler Conference proceedings 1990 Springer-Verlag Berlin H [打印本頁] 作者: melancholy 時(shí)間: 2025-3-21 18:39
書目名稱Algebraic and Logic Programming影響因子(影響力)
書目名稱Algebraic and Logic Programming影響因子(影響力)學(xué)科排名
書目名稱Algebraic and Logic Programming網(wǎng)絡(luò)公開度
書目名稱Algebraic and Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algebraic and Logic Programming被引頻次
書目名稱Algebraic and Logic Programming被引頻次學(xué)科排名
書目名稱Algebraic and Logic Programming年度引用
書目名稱Algebraic and Logic Programming年度引用學(xué)科排名
書目名稱Algebraic and Logic Programming讀者反饋
書目名稱Algebraic and Logic Programming讀者反饋學(xué)科排名
作者: 復(fù)習(xí) 時(shí)間: 2025-3-21 22:28
Proving and rewriting,n results include an extension of many-sorted equational logic to universal quantification over functions, some techniques for handling first order logic, and some structural induction principles. The OBJ language is used for illustration, and initiality is a recurrent theme.作者: CAND 時(shí)間: 2025-3-22 00:28
Algebraic and Logic Programming978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Obligatory 時(shí)間: 2025-3-22 05:58
0302-9743 Overview: 978-3-540-53162-3978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Fecal-Impaction 時(shí)間: 2025-3-22 11:40 作者: 壓倒性勝利 時(shí)間: 2025-3-22 14:11 作者: 退潮 時(shí)間: 2025-3-22 17:44 作者: Tortuous 時(shí)間: 2025-3-23 00:31
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152762.jpg作者: 我沒有強(qiáng)迫 時(shí)間: 2025-3-23 01:54 作者: 妨礙議事 時(shí)間: 2025-3-23 08:53
10樓作者: 冷淡一切 時(shí)間: 2025-3-23 13:41
第4樓作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-23 14:46
第4樓作者: DIKE 時(shí)間: 2025-3-23 19:59
第4樓作者: fastness 時(shí)間: 2025-3-24 00:28
5樓作者: MORPH 時(shí)間: 2025-3-24 02:55
5樓作者: incisive 時(shí)間: 2025-3-24 07:32
5樓作者: HARP 時(shí)間: 2025-3-24 13:15
5樓作者: Conduit 時(shí)間: 2025-3-24 15:24
6樓作者: 鉆孔 時(shí)間: 2025-3-24 21:59
6樓作者: Jogging 時(shí)間: 2025-3-25 00:32
6樓作者: Eeg332 時(shí)間: 2025-3-25 04:06
6樓作者: RENIN 時(shí)間: 2025-3-25 10:10
7樓作者: corpus-callosum 時(shí)間: 2025-3-25 12:41
7樓作者: 不要不誠實(shí) 時(shí)間: 2025-3-25 16:35
7樓作者: hemorrhage 時(shí)間: 2025-3-25 22:17
7樓作者: Insul島 時(shí)間: 2025-3-26 02:58
8樓作者: 單獨(dú) 時(shí)間: 2025-3-26 05:27
8樓作者: 珠寶 時(shí)間: 2025-3-26 09:35
8樓作者: 合法 時(shí)間: 2025-3-26 14:05
8樓作者: 易發(fā)怒 時(shí)間: 2025-3-26 16:54
9樓作者: 吵鬧 時(shí)間: 2025-3-26 21:40
9樓作者: 出生 時(shí)間: 2025-3-27 01:58
9樓作者: conservative 時(shí)間: 2025-3-27 09:00
10樓作者: NIB 時(shí)間: 2025-3-27 10:31
10樓作者: Inertia 時(shí)間: 2025-3-27 16:02
10樓作者: eulogize 時(shí)間: 2025-3-27 17:51
10樓
