[New Comprehensive Biochemistry] Membrane structure Volume 1 || Edited By
- 作者,
- 文件大小50.17KB
- 发表时间1981
- DOI10.1016/S0167-7306(09)60002-8
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