搜索页_Ruy+de+Queiroz

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

内部出版物

Springer电子图书(58)

SpringerLink电子期刊(7)

Elsevier电子期刊(17)

在“Elsevier电子期刊”中，命中：17条，耗时：0.1009543 秒

在所有数据库中总计命中：82条

1.Retrograde catheterization of the SMA on a B-EVAR - Case report

作者：Gonç ; alo Queiroz de Sousa^a ; ^{queiroz.sousa@gmail.com} ; Ruy Fernandes e Fernandes^a ; Luí ; s Mendes Pedro^a ; Pedro Garrido^a ; Luí ; s Silvestre^a ; Eric Verhoeven^b ; José ; Fernandes e Fernandes^a

关键词：Retrograde catheterization ; Superior mesenteric artery ; Fenestrated evar ; Branched evar ; Thoracoabdominal aneurysm

刊名：Angiologia e Cirurgia Vascular

出版年：2016

2.Aortoesophageal fistula in a patient with carcinoma of the esophagus - Case report

作者：Gonç ; alo Queiroz de Sousa^a ; ^{queiroz.sousa@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Ruy Fernandes e Fernandes^a ; Luí ; s Mendes Pedro^a ; Pedro Garrido^a ; Luí ; s Silvestre^a ; Paulo Costa^b ; José ; Fernandes e Fernandes^a

关键词：Aortoesophageal fistula ; Aorta ; Endovascular stentgraft ; Esophageal stent ; Upper gastrointestinal bleeding

刊名：Angiologia e Cirurgia Vascular

出版年：2016

3.Editor始s foreword: WoLLIC 2010

作者：Anuj Dawar ; Ruy de Queiroz

刊名：Journal of Computer and System Sciences

出版年：March, 2014

4.Editors' foreword

作者：Lev Beklemishev ; Ruy De Queiroz ; Andre Scedrov

刊名：Journal of Computer and System Sciences

出版年：September 2014

5.The Functional Interpretation of Direct Computations

作者：Ruy J.G.B. de Queiroz ; Anjolina G. de Oliveira

关键词：natural deduction ; equality ; labelled deduction ; equality type

刊名：Electronic Notes in Theoretical Computer Science

出版年：2011

6.Logic, language, information and computation

作者：Daniel Leivant ; Ruy de Queiroz

刊名：Information and Computation

出版年：2010

7.Editors' foreword for JCSS WoLLIC 2008

作者：Wilfrid Hodges ; Ruy de Queiroz

刊名：Journal of Computer and System Sciences

出版年：2010

8.Logic, Language, Information and Computation

作者：Grigori Mints ; Valé ; ria de Paiva ; Ruy de Queiroz

刊名：Information and Computation

出版年：2009

9.Logic, Language, Information and Computation

作者：Ruy de Queiroz ; Angus Macintyre

关键词：Symbolic distance effect ; Mental imagery ; Verbal descriptions ; Spatial configurations ; Mental comparison of distances ; Individual differences

刊名：Annals of Pure and Applied Logic

出版年：2008

作者：Ruy de Queiroz ; Angus Macintyre ; Guilherme Bittencourt

关键词：Bounded model checking ; SAT procedure ; safety property

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

1

2

按检索点细分(17)

作者(17)

文摘(1)

按出版年细分(17)

2027年及以后(2)

2016年(2)

2011年(1)

2010年(2)

2009年(1)

2008年(1)

2006年(4)

2005年(2)

2003年(1)

2002年(1)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700