Titlebook: Interactive Theorem Proving; First International Matt Kaufmann,Lawrence C. Paulson Conference proceedings 2010 Springer-Verlag Berlin Heid

TOUT

书目名称Interactive Theorem Proving影响因子(影响力)




书目名称Interactive Theorem Proving影响因子(影响力)学科排名




书目名称Interactive Theorem Proving网络公开度




书目名称Interactive Theorem Proving网络公开度学科排名




书目名称Interactive Theorem Proving被引频次




书目名称Interactive Theorem Proving被引频次学科排名




书目名称Interactive Theorem Proving年度引用




书目名称Interactive Theorem Proving年度引用学科排名




书目名称Interactive Theorem Proving读者反馈




书目名称Interactive Theorem Proving读者反馈学科排名

Peculate

Digest

Herman Geuvers,Adam Koprowski,Dan Synek,Eelis van der Weegen

synchronous

巨大没有

Gerwin Kleinion of existing computer-aided engineering and related manufacturing capabilities. Indeed, strategic benefits impacting a company’s overall market share, quality image, return on investment and profitability can result from effective CAE implementation..Benefits do not come easily, however. The CAE

CLAM

Benjamin C. Pierceion of existing computer-aided engineering and related manufacturing capabilities. Indeed, strategic benefits impacting a company’s overall market share, quality image, return on investment and profitability can result from effective CAE implementation..Benefits do not come easily, however. The CAE

Cpr951

难管

John Cowles,Ruben Gamboaion of existing computer-aided engineering and related manufacturing capabilities. Indeed, strategic benefits impacting a company’s overall market share, quality image, return on investment and profitability can result from effective CAE implementation..Benefits do not come easily, however. The CAE

DEAF

敲竹杠