搜索页_ Yuri G. Gurevichb

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

Elsevier电子期刊(22)

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

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

1.Abstract Hilbertian deductive systems, infon logic, and Datalog

作者：Andreas Blass ; Yuri Gurevich

关键词：Hilbertian ; Deductive system ; Infon logic ; Datalog

刊名：Information and Computation

出版年：October, 2013

2.Content-dependent chunking for differential compression, the local maximum approach

作者：Nikolaj Bjø ; rner ; Andreas Blass ; Yuri Gurevich

关键词：Networking ; Distributed file systems ; Compression ; Ergodic theory

刊名：Journal of Computer and System Sciences

出版年：2010

3.Preface

作者：Bernd Finkbeiner ; Yuri Gurevich ; Alexander K. Petrenko

刊名：Electronic Notes in Theoretical Computer Science

出版年：2010

4.Possible prevention of hungry bone syndrome following parathyroidectomy by preoperative use of pamidronate

作者：Yuriy Gurevich ; Leonid Poretsky

关键词：Care network ; Health network ; Representations ; Care actors ; General practitioners ; Perinatal period ; Pregnancy ; Postnatal period ; Psychiatric emergency department ; Follow-up study

刊名：Otolaryngology - Head and Neck Surgery

出版年：2008

5.Preface

作者：Bernd Finkbeiner ; Yuri Gurevich ; Alex ; er K. Petrenko

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

6.The computable kernel of Abstract State Machines

作者：W. Reisig

关键词：Abstract State Machines (ASMs) ; Computability on Tarski structures ; Symbolic computation

刊名：Theoretical Computer Science

出版年：2008

7.Preface

作者：Bernd Finkbeiner ; Yuri Gurevich ; Alex ; er K. Petrenko

关键词：Probabilistic process calculus ; Barbed congruence ; Observational equivalence ; Axiomatisation

刊名：Electronic Notes in Theoretical Computer Science

出版年：2007

8.Can abstract state machines be useful in language theory?

作者：Yuri Gurevich ; Margus Veanes ; Charles Wallace

关键词：Abstract state machine ; AsmL ; Evolutionary algorithms ; Graph-partition algorithm ; Language theory

刊名：Theoretical Computer Science

出版年：2007

9.Preface

作者：Bernd Finkbeiner ; Yuri Gurevich ; Alex ; er K. Petrenko

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

10.Preface

作者：Howard Barringer ; Bernd Finkbeiner ; Yuri Gurevich ; Henny Sipma

关键词：CSP ; B ; method integration ; verification

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

按检索点细分(22)

作者(20)

文摘(2)

按出版年细分(22)

2027年及以后(1)

2010年(2)

2009年(1)

2008年(3)

2007年(2)

2006年(2)

2005年(3)

2003年(1)

2002年(1)

2000年及以前(6)

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

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

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