Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types Edinburgh, UK, 28-29 November 2016 Preface

被引：0

作者：

Komendantskaya, Ekaterina ^{[1
]}

Power, John ^{[2
]}

机构：

[1] Heriot Watt Univ, Edinburgh, Midlothian, Scotland

[2] Univ Bath, Bath, Avon, England

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2017年 / 258期

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：3

共 7 条

[1] The Logic in Ancient Thought. Proceedings of the Colloquium, Rome, 28-29 November 2000
Corti, Lorenzo
[J]. CLASSICAL REVIEW, 2011, 61 (01): : 60 - 62
[2] Proceedings of the First International Workshop on Glass and the Photonics Revolution - May 28-29, 2002, Bad Soden (Germany) - Preface
Pye, LD
Schaeffer, HA
[J]. GLASS SCIENCE AND TECHNOLOGY, 2002, 75 : IV - VI
[3] PROCEEDINGS OF THE SECOND WORKSHOP ON NONADRENERGIC NONCHOLINERGIC MECHANISMS, GHENT, SEPTEMBER 28-29, 1989 - PREFACE
LEFEBVRE, RA
[J]. ARCHIVES INTERNATIONALES DE PHARMACODYNAMIE ET DE THERAPIE, 1990, 303 : 7 - 7
[4] Proceedings of the First International Workshop on Glass and the Photonics Revolution - May 28-29, 2002, Bad Soden (Germany) - Foreword
Rasmussen, MA
[J]. GLASS SCIENCE AND TECHNOLOGY, 2002, 75 : III - III
[5] Proceedings of the International Workshop ‘Integration of International Expertise in the Development of a Mental Health Surveillance System in Germany’Berlin, Germany. 28-29 November 2019
[J]. BMC Proceedings, 14 (Suppl 4)
[6] International Workshops on Genotoxicity Testing (IWGT) - Reports of the 3rd International Workshop on Genotoxicity Testing (IWGT) - June 28-29, 2002, Plymouth, UK - Preface
Kirkland, DJ
[J]. MUTATION RESEARCH-GENETIC TOXICOLOGY AND ENVIRONMENTAL MUTAGENESIS, 2003, 540 (02) : 119 - 121
[7] Special issue: The role of molecular genetics in longevity sciences - Proceedings of the first international NILS workshop on longevity sciences - Obu, Japan, November 29, 1996 - Preface
Kitani, K
[J]. MECHANISMS OF AGEING AND DEVELOPMENT, 1997, 98 (03) : 185 - 187

← 1 →