標(biāo)題: Titlebook: Algebraic and Logic Programming; International Worksh J. Grabowski,P. Lescanne,W. Wechler Conference proceedings 1988 Akademie-Verlag Berli [打印本頁] 作者: Dopamine 時間: 2025-3-21 19:05
書目名稱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é)科排名
作者: 賭博 時間: 2025-3-21 23:32 作者: 抱狗不敢前 時間: 2025-3-22 02:23 作者: debase 時間: 2025-3-22 05:21
978-3-540-50667-6Akademie-Verlag Berlin 1988作者: 補(bǔ)充 時間: 2025-3-22 10:08
Algebraic and Logic Programming978-3-540-46063-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 碎片 時間: 2025-3-22 16:55
ACP with signals,els to nodes of process graphs. The labels of nodes are called signals. In combination with the operators of BPA, a signal insertion operator allows to describe each finite tree labeled with actions and signals, provided the signals do not occur at leaves of the tree. In a merge processes can observ作者: Fabric 時間: 2025-3-22 17:27
0302-9743 ic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/l作者: Aggrandize 時間: 2025-3-22 21:59
Allison Hui,Rosie Day,Gordon Walkero describe each finite tree labeled with actions and signals, provided the signals do not occur at leaves of the tree. In a merge processes can observe the signals of concurrent processes. This research was sponsored in part by ESPRIT under contract 432, METEOR.作者: confide 時間: 2025-3-23 03:18 作者: 易于交談 時間: 2025-3-23 06:09
Conference proceedings 1988c) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic progr作者: 減去 時間: 2025-3-23 12:29
0302-9743 ogic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.978-3-540-50667-6978-3-540-46063-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: engender 時間: 2025-3-23 16:04 作者: 量被毀壞 時間: 2025-3-23 19:57
第4樓作者: Respond 時間: 2025-3-23 22:18
5樓作者: CLAIM 時間: 2025-3-24 03:15
5樓作者: LAIR 時間: 2025-3-24 09:53
5樓作者: 勛章 時間: 2025-3-24 13:02
5樓作者: COM 時間: 2025-3-24 16:50
6樓作者: 針葉類的樹 時間: 2025-3-24 19:50
6樓作者: Anonymous 時間: 2025-3-25 00:06
6樓作者: 代替 時間: 2025-3-25 06:55
6樓作者: 勉強(qiáng) 時間: 2025-3-25 08:09
7樓作者: 抑制 時間: 2025-3-25 13:53
7樓作者: 毗鄰 時間: 2025-3-25 18:30
7樓作者: septicemia 時間: 2025-3-25 23:33
7樓作者: 嘲弄 時間: 2025-3-26 03:24
8樓作者: mitten 時間: 2025-3-26 06:49
8樓作者: Boycott 時間: 2025-3-26 12:24
8樓作者: URN 時間: 2025-3-26 15:09
8樓作者: 懶鬼才會衰弱 時間: 2025-3-26 17:58
9樓作者: hair-bulb 時間: 2025-3-26 21:00
9樓作者: 平庸的人或物 時間: 2025-3-27 04:32
9樓作者: 甜瓜 時間: 2025-3-27 05:49
10樓作者: EVADE 時間: 2025-3-27 12:52
10樓作者: expository 時間: 2025-3-27 15:05
10樓作者: reception 時間: 2025-3-27 21:08
10樓
