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

melancholy

書目名稱Algebraic and Logic Programming影響因子(影響力)




書目名稱Algebraic and Logic Programming影響因子(影響力)學科排名




書目名稱Algebraic and Logic Programming網(wǎng)絡公開度




書目名稱Algebraic and Logic Programming網(wǎng)絡公開度學科排名




書目名稱Algebraic and Logic Programming被引頻次




書目名稱Algebraic and Logic Programming被引頻次學科排名




書目名稱Algebraic and Logic Programming年度引用




書目名稱Algebraic and Logic Programming年度引用學科排名




書目名稱Algebraic and Logic Programming讀者反饋




書目名稱Algebraic and Logic Programming讀者反饋學科排名

復習

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

我沒有強迫

妨礙議事

10樓