Infections of the central nervous system
- 期刊名称Diagnostic Histopathology
- 作者Lucas, Sebastian
- 卷第19卷
- 期第2期
- 印刷ISSN1756-2317
- 文件大小5004.05KB
- 发表时间2013-2
- DOI10.1016/j.mpdhp.2013.01.009
- 页码30-43
Monadic simultaneous rigid E-unificationYuri Gurevich; Andrei Voronkov · 1999
Stratified resolutionAnatoli Degtyarev; Robert Nieuwenhuis; Andrei Voronkov · 2003
The anatomy of vampireAndrei Voronkov · 1995
On computability by logic programsAndrei Voronkov · Annals of Mathematics and Artificial Intelligence · 1995
Maser Action in Methanol TransitionsMaxim Voronkov; Andrej Sobolev; Simon Ellingsen; Andrei Ostrovskii; Alexei Alakoz · 2005
Term-Modal LogicsMelvin Fitting; Lars Thalmann; Andrei Voronkov · Studia Logica · 2001
Translating regular expression matching into transducersYuto Sakuma; Yasuhiko Minamide; Andrei Voronkov · 2012
Handbook of automated reasoning; volume IIeditors Alan Robinson and Andrei Voronkov · Elsevier Science/the mit press · 2001