Titlebook: Resolution Methods for the Decision Problem; C. Fermüller,A. Leitsch,N. Zamov Book 1993 Springer-Verlag Berlin Heidelberg 1993 Aufl?sungsm

FERN

書目名稱Resolution Methods for the Decision Problem影響因子(影響力)




書目名稱Resolution Methods for the Decision Problem影響因子(影響力)學(xué)科排名




書目名稱Resolution Methods for the Decision Problem網(wǎng)絡(luò)公開度




書目名稱Resolution Methods for the Decision Problem網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Resolution Methods for the Decision Problem被引頻次




書目名稱Resolution Methods for the Decision Problem被引頻次學(xué)科排名




書目名稱Resolution Methods for the Decision Problem年度引用




書目名稱Resolution Methods for the Decision Problem年度引用學(xué)科排名




書目名稱Resolution Methods for the Decision Problem讀者反饋




書目名稱Resolution Methods for the Decision Problem讀者反饋學(xué)科排名

蔓藤圖飾

Atrium

978-3-540-56732-5Springer-Verlag Berlin Heidelberg 1993

facetious

pus840

handle

ics, vol 1991. Springer, Berlin, 2010. Positivity preserving and nonlinear higher order elliptic equations in bounded domains), where much more extended material on linear and nonlinear polyharmonic boundary values problems can be found. The fourth section makes use of the moving plane method, and r

Venules

變白

0302-9743 es to discuss and exchange theirresults and finally decided to write thismonographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume.Themonograph opens with an introduction and a chapter onterminology, followed by chapters on

極深

0302-9743 K by an ordering refinement,- A resolution based method for building finite models.A final chapter onapplications completes the volume.978-3-540-56732-5978-3-540-47638-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

微不足道