[Lecture Notes in Computer Science] Artificial Intelligence Today Volume 1600 || A Survey of Automated Deduction
- 作者Wooldridge, Michael J.; Veloso, Manuela
- 文件大小1823.49KB
- 发表时间1999
- DOI10.1007/3-540-48317-9_6
- 页码153-174
Seamen's dispensary, Liverpool 1924-1991.Arya, O P; Plumb, J B · Sexually Transmitted Infections · 1992
Discussion on “An electric harmonic analyser” before the Mersey and North Wales (Liverpool) Centre, at Liverpool, 17 November, 1924Wang, Yuefei; Xue, Chuang; Jia, Xiaohan; Peng, Xueyuan · Journal of the Institution of Electrical Engineers · 1925
Discussion on “Power circuit interference with telegraphs and telephones” before the Mersey and North Wales (Liverpool) Centre, at Liverpool, 28 April, 19241924
Discussion on “The future of main-line electrification on British railways” before the Mersey and North Wales (Liverpool) Centre, at Liverpool, 17 March, 19241924
Discussion on “Some researches on the safe use of electricity in coal mines” before the Mersey and North Wales (Liverpool) Centre, at Liverpool, 14 January, 19241924
Discussion on “Automatic and semi-automatic mercury-vapour rectifier substations” before the Mersey and North Wales (Liverpool) Centre, at Liverpool, 15 December 1924Derakhshandeh, Javad Farrokhi; Arjomandi, Maziar; Cazzolato, Benjamin S.; Dally, Bassam · Journal of the Institution of Electrical Engineers · 1925
Modern cereal chemistry. By D. W. Kent-Jones, B.Sc. Pp. IX+324. Liverpool: Northern Publishing Co., Ltd., 1924. price 25s. netA. E. Humphries · 1924
Amaneciendo: Irlandade Arteaga y Pereira, F. · Bulletin of Hispanic Studies · 1925
AMANECIENDO: IRLANDAARTEAGA Y PEREIRA, F. DE · Bulletin of Hispanic Studies · 1925
Gold nanoparticles conjugated to [Tyr3]Octreotide peptideP.P. Surujpaul; C. Gutiérrez-Wing; B. Ocampo-García; F. de M. Ramírez; C. Arteaga de Murphy; M. Pedraza-López; M.A. Camacho-López; G. Ferro-Flores · 2008
The atypical cannabinoid O-1602 stimulates food intake and adiposity in ratsA. Díaz-Arteaga; M. J. Vázquez; R. Vazquez-Martínez; M. R. Pulido; J. Suarez; D. A. Velásquez; M. López; R. A. Ross; F. Rodriguez de Fonseca; F. J. Bermudez-Silva; M. M. Malagón; C. Diéguez; R. Nogueiras · 2012
Complete transposition of the great arteries: Types and morphogenesis of ventriculoarterial discordanceMaría V. de la Cruz; Manuel Arteaga; Jorge Espino-Vela; Manuel Quero-Jiménez; Robert H. Anderson; Gabriel F. Díaz · 1981
A gigabit multidrop serial backplane for high-speed digital systems based on asymmetrical power splitterR. Esper-chain; F. Tobajas; O. Tubio; R. Arteaga; V. De Armas; R. Sarmiento · 2005
Synthesis of 99mTc-IDA-bis-biotin and 99mTc-DTPA-bis-biotinG. Ferro-Flores; C. Arteaga de Murphy; L. C. Gutiérrez; M. Pedraza-López; L. García-Salinas; F. Monroy-Guzmán · 2001
Deaths and Laments in CelestinaPattison, David G. · Bulletin of Hispanic Studies · 2001
Reviews of BooksBulletin of Hispanic Studies · 1998
Baroque gardens and fountainsMartin, J.L. · Bulletin of Hispanic Studies · 1934
Aron David Kossoff (1918-1995)Eisenberg, Daniel · Bulletin of Hispanic Studies · 1996
Readers in, Readers of, CelestinaDeyermond, Alan · Bulletin of Hispanic Studies · 2001
Lloyd A. Kasten (1905-1999)MacPherson, Ian · Bulletin of Hispanic Studies · 2000
Terence May (1914-1999)Cummins, John · Bulletin of Hispanic Studies · 2000
ErratumBulletin of Hispanic Studies · 1935