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影响因子(影响力)学科排名




书目名称Automated Deduction in Equational Logic and Cubic Curves网络公开度




书目名称Automated Deduction in Equational Logic and Cubic Curves网络公开度学科排名




书目名称Automated Deduction in Equational Logic and Cubic Curves被引频次




书目名称Automated Deduction in Equational Logic and Cubic Curves被引频次学科排名




书目名称Automated Deduction in Equational Logic and Cubic Curves年度引用




书目名称Automated Deduction in Equational Logic and Cubic Curves年度引用学科排名




书目名称Automated Deduction in Equational Logic and Cubic Curves读者反馈




书目名称Automated Deduction in Equational Logic and Cubic Curves读者反馈学科排名

娴熟

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