CLAIRE: Combining sets, search and rules to better express algorithms (vol 2, pg 769, 2002)

被引：0

|

作者：

Caseau, Y

Josset, FX

Laburthe, F

机构：

来源：

THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2003年 / 3卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：623 / 623

页数：1

相关论文

共 5 条

[1] CLAIRE: Combining sets, search and rules to better express algorithms
Caseau, Y
Josset, FX
Laburthe, F
[J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 245 - 259
[2] CLAIRE: combining sets, search and rules to better express algorithms
Caseau, Y
Josset, FX
Laburthe, F
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 (06) : 769 - 805
[3] The t-box transcription factor Brachyury mediates cartilage development in mesenchymal stem cell line C3H10T1/2 (vol 115, pg 769, 2002)
Hoffmann, A
Czichos, S
Kaps, C
Bächner, D
Mayer, H
Kurkalli, BG
Zilberman, Y
Turgeman, G
Pelled, G
Gross, G
Gazit, D
[J]. JOURNAL OF CELL SCIENCE, 2002, 115 (12) : 2613 - 2613
[4] Systematic search for single nucleotide polymorphisms in the resistin gene: the absence of evidence for the association of three identified single nucleotide polymorphisms with Japanese type 2 diabetes (vol 51, pg 863, 2002)
Osawa, H
Onuma, H
Murakami, A
Ochi, M
Nishimiya, T
Kato, K
Shimizu, I
Fujii, Y
Ohashi, J
Makino, H
[J]. DIABETES, 2002, 51 (05) : 1652 - 1652
[5] Quasi-particle dual mappings on {(H)over-tildev} carrier spaces for dynamical structures of S2n-invariant-based integer rank tensorial sets:: A democratic recoupling S2n-compatible overview of v-auxiliary labelling in superboson algebras of uniform multispin NMR ensembles (vol 31, pg 281, 2002)
Temme, FP
[J]. JOURNAL OF MATHEMATICAL CHEMISTRY, 2004, 36 (03) : 299 - 300