反馈文件质量
nexusstc/Solving symbolic equations with press/2efdd74e7277bcdbe7c35b6c33dd8270.pdf
Solving symbolic equations with press 🔍
Leon Sterling; Alan Bundy; Lawrence Byrd; Richard O'Keefe; Bernard Silver SPRINGER-VERLAG BERLIN HEIDELBERG NEW YORK 1982, Lecture Notes in Computer Science, 144, 1st ed. 1982, Berlin, Heidelberg :, 1982
英语 [en] · PDF · 0.6MB · 1982 · 🤨 其他 · duxiu/nexusstc/scihub · Save
描述
We outline a program, PRESS (PR\_\_olog Equation Solving S\_ystem) for solving symbolic, transcendental, non-differentlal equations.
The methods used for solving equations are described, together with the service facilities.
The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation.
## Acknowledgements
This work was supported by SERC grants GR/BI29252 and GR/B/73989 and various studentships. Keywords equation solving, rewrite rules, meta-level inference, logic programming -Bomogenlzatlon, a generalized change of unknown method.
-Function Swapping, for transforming equations into ones with more amenable function symbols.
备用文件名
scihub/10.1007/3-540-11607-9_13.pdf
备选标题
Computer Algebra: Eurocam '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982 (lecture Notes In Computer Science)
备选标题
LECTURE NOTES IN COMPUTER SCIENCE 144 COMPUTER ALGEBRA EUROCAM'82 EUROPEAN COMPUTER ALGEBRA CONFERENCE MARSEILLE,FRANCE,5-7 APRIL 1982
备选标题
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
备选标题
Computer Algebra : EUROCAM '82 : European Computer Algebra Conference : Papers
备选作者
EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
备选作者
European Computer Algebra Conference (1st 1982 Marseille, France)
备选作者
J Calmet; SpringerLink (Online service)
备选作者
G.Goos J.Hartmanis
备选作者
J. Calmet (editor)
备选作者
ACM SIGSAM
备用出版商
Springer Berlin Heidelberg : Imprint: Springer
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用版本
Lecture notes in computer science -- 144, Berlin, West Berlin, 1982
备用版本
Lecture Notes in Computer Science Ser, New York, Oct. 1982
备用版本
1 edition, October 25, 1982
备用版本
Germany, Germany
备用版本
1982, 2007
备用版本
uuuu
元数据中的注释
{"container_title":"Lecture Notes in Computer Science","first_page":109,"issns":["0302-9743","1611-3349"],"last_page":116,"parent_isbns":["3540116079","3540394338","9783540116073","9783540394334"],"publisher":"Springer"}
元数据中的注释
Referenced by: doi:10.1016/0004-3702(81)90010-2
备用描述
Lecture Notes in Computer Science
Erscheinungsdatum: 08.10.1982
更多信息……
所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。