Deriving probabilistic semantics via the 'weakest completion'

He Jifeng; Carroll Morgan; Annabelle McIver

doi:10.1007/978-3-540-30482-1_17

Deriving probabilistic semantics via the 'weakest completion'

He Jifeng
, Carroll Morgan
, Annabelle McIver

软件工程学院

United Nations University Institute in Macau
University of New South Wales
Macquarie University

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

7 引用（Scopus）

源语言	英语
主期刊名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
编辑	Jim Davies, Wolfram Schulte, Mike Barnett
出版商	Springer Verlag
页	131-145
页数	15
ISBN（电子版）	3540238417, 9783540238416
DOI	https://doi.org/10.1007/978-3-540-30482-1_17
出版状态	已出版 - 2004

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	3308
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

访问文件

10.1007/978-3-540-30482-1_17

其它文件与链接

链接到 Scopus 的出版物

引用此

Jifeng, H., Morgan, C., & McIver, A. (2004). Deriving probabilistic semantics via the 'weakest completion'. 在 J. Davies, W. Schulte, & M. Barnett (编辑), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (页码 131-145). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 3308). Springer Verlag. https://doi.org/10.1007/978-3-540-30482-1_17

Jifeng, He ; Morgan, Carroll ; McIver, Annabelle. / Deriving probabilistic semantics via the 'weakest completion'. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 编辑 / Jim Davies ; Wolfram Schulte ; Mike Barnett. Springer Verlag, 2004. 页码 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{702fa2dd6cf2452bafa673ea823326e3,

title = "Deriving probabilistic semantics via the 'weakest completion'",

author = "He Jifeng and Carroll Morgan and Annabelle McIver",

year = "2004",

doi = "10.1007/978-3-540-30482-1\_17",

language = "英语",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "131--145",

editor = "Jim Davies and Wolfram Schulte and Mike Barnett",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "德国",

}

Jifeng, H, Morgan, C & McIver, A 2004, Deriving probabilistic semantics via the 'weakest completion'. 在 J Davies, W Schulte & M Barnett (编辑), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 3308, Springer Verlag, 页码 131-145. https://doi.org/10.1007/978-3-540-30482-1_17

Deriving probabilistic semantics via the 'weakest completion'. / Jifeng, He; Morgan, Carroll; McIver, Annabelle.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 编辑 / Jim Davies; Wolfram Schulte; Mike Barnett. Springer Verlag, 2004. 页码 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 3308).

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

TY - CHAP

T1 - Deriving probabilistic semantics via the 'weakest completion'

AU - Jifeng, He

AU - Morgan, Carroll

AU - McIver, Annabelle

PY - 2004

Y1 - 2004

UR - https://www.scopus.com/pages/publications/35048867437

U2 - 10.1007/978-3-540-30482-1_17

DO - 10.1007/978-3-540-30482-1_17

M3 - 章节

AN - SCOPUS:35048867437

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 131

EP - 145

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Davies, Jim

A2 - Schulte, Wolfram

A2 - Barnett, Mike

PB - Springer Verlag

ER -

Jifeng H, Morgan C, McIver A. Deriving probabilistic semantics via the 'weakest completion'. 在 Davies J, Schulte W, Barnett M, 编辑, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. 页码 131-145. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30482-1_17