Titlebook: Automated Deduction in Equational Logic and Cubic Curves; W. McCune,R. Padmanabhan Book 1996 Springer-Verlag Berlin Heidelberg 1996 Autoat

Adams

書目名稱Automated Deduction in Equational Logic and Cubic Curves影響因子(影響力)




書目名稱Automated Deduction in Equational Logic and Cubic Curves影響因子(影響力)學(xué)科排名




書目名稱Automated Deduction in Equational Logic and Cubic Curves網(wǎng)絡(luò)公開度




書目名稱Automated Deduction in Equational Logic and Cubic Curves網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Automated Deduction in Equational Logic and Cubic Curves被引頻次




書目名稱Automated Deduction in Equational Logic and Cubic Curves被引頻次學(xué)科排名




書目名稱Automated Deduction in Equational Logic and Cubic Curves年度引用




書目名稱Automated Deduction in Equational Logic and Cubic Curves年度引用學(xué)科排名




書目名稱Automated Deduction in Equational Logic and Cubic Curves讀者反饋




書目名稱Automated Deduction in Equational Logic and Cubic Curves讀者反饋學(xué)科排名

嫻熟

Automated Deduction in Equational Logic and Cubic Curves978-3-540-68522-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

螢火蟲

https://doi.org/10.1007/3-540-61398-6Autoated Theorem Proving; Automat; Automatisches Schlie?en; Automatisches Theorembeweisen; Cubic Curves;

GULF

山崩

很像弓]

Book 1996mated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort..Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the

有效

Book 1996-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Rotator-Cuff

0302-9743 ate-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.978-3-540-61398-5978-3-540-68522-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

暴露他抗議

Automated Deduction in Equational Logic and Cubic Curves

obviate