Titlebook: Algebraic and Logic Programming; Second International Hélène Kirchner,Wolfgang Wechler Conference proceedings 1990 Springer-Verlag Berlin H

melancholy

書(shū)目名稱(chēng)Algebraic and Logic Programming影響因子(影響力)




書(shū)目名稱(chēng)Algebraic and Logic Programming影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Algebraic and Logic Programming網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Algebraic and Logic Programming網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Algebraic and Logic Programming被引頻次




書(shū)目名稱(chēng)Algebraic and Logic Programming被引頻次學(xué)科排名




書(shū)目名稱(chēng)Algebraic and Logic Programming年度引用




書(shū)目名稱(chēng)Algebraic and Logic Programming年度引用學(xué)科排名




書(shū)目名稱(chēng)Algebraic and Logic Programming讀者反饋




書(shū)目名稱(chēng)Algebraic and Logic Programming讀者反饋學(xué)科排名

復(fù)習(xí)

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

Algebraic and Logic Programming978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Obligatory

0302-9743 Overview: 978-3-540-53162-3978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Fecal-Impaction

壓倒性勝利

退潮

Tortuous

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152762.jpg

我沒(méi)有強(qiáng)迫

妨礙議事

10樓