找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Alfonso Miola Conference proceedings 1993 Springer-Verlag B

[復制鏈接]
查看: 32170|回復: 75
樓主
發(fā)表于 2025-3-21 18:20:09 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Design and Implementation of Symbolic Computation Systems
副標題International Sympos
編輯Alfonso Miola
視頻videohttp://file.papertrans.cn/269/268570/268570.mp4
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Alfonso Miola Conference proceedings 1993 Springer-Verlag B
描述This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic Computation Systems (DISCO ‘93), held in Gmunden,Austria, in September 1993.The growing importance of systems for symbolic computationhas greatly influenced the decision of organizing this thirdconference in the series: DISCO ‘93 focuses mainly on themost innovative methodological and technological aspects ofthe design and implementation of hardware and softwaresystems for symbolic and algebraic computation, automatedreasoning, geometric modeling andcomputation, and automaticprogramming. The general objective of DISCO ‘93is topresent an up-to-date view of the field and to serve as aforum insymbolic computation for the scientific exchangeamong academic, industrial and user communities.Besides invited talks by Buchberger, Monagan, OmodeoandHong, the volume contains 28 contributions, carefullyselected by a highly competent international programcommittee from a total of 56 submissions.
出版日期Conference proceedings 1993
關鍵詞Algebraic Manipulation; Automatisches Schlie?en; Geometric Modelling; Geometrisches Modellieren; Hardwar
版次1
doihttps://doi.org/10.1007/BFb0013162
isbn_softcover978-3-540-57235-0
isbn_ebook978-3-540-47985-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 1993
The information of publication is updating

書目名稱Design and Implementation of Symbolic Computation Systems影響因子(影響力)




書目名稱Design and Implementation of Symbolic Computation Systems影響因子(影響力)學科排名




書目名稱Design and Implementation of Symbolic Computation Systems網(wǎng)絡公開度




書目名稱Design and Implementation of Symbolic Computation Systems網(wǎng)絡公開度學科排名




書目名稱Design and Implementation of Symbolic Computation Systems被引頻次




書目名稱Design and Implementation of Symbolic Computation Systems被引頻次學科排名




書目名稱Design and Implementation of Symbolic Computation Systems年度引用




書目名稱Design and Implementation of Symbolic Computation Systems年度引用學科排名




書目名稱Design and Implementation of Symbolic Computation Systems讀者反饋




書目名稱Design and Implementation of Symbolic Computation Systems讀者反饋學科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics
 

0票 0.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

1票 100.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-22 00:05:35 | 只看該作者
0302-9743 ntific exchangeamong academic, industrial and user communities.Besides invited talks by Buchberger, Monagan, OmodeoandHong, the volume contains 28 contributions, carefullyselected by a highly competent international programcommittee from a total of 56 submissions.978-3-540-57235-0978-3-540-47985-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
板凳
發(fā)表于 2025-3-22 02:56:12 | 只看該作者
地板
發(fā)表于 2025-3-22 06:46:02 | 只看該作者
Die Schwangerschaftsver?nderungen general reduces models by a factor of two to three, compared to a direct representation in the Mathematica computer algebra language. Also, we found that multiple inheritance from orthogonal classes facilitates re-use and maintenance of application models.
5#
發(fā)表于 2025-3-22 09:45:39 | 只看該作者
6#
發(fā)表于 2025-3-22 14:32:19 | 只看該作者
Integers, the IF and GOTO statements,ted on Macintosh (and will soon be transported on SUN workstations)..The system should also allow an easy integration of theorem provers with symbolic computation systems..Several running examples in classical and non-classical logics show evidence of the capabilities of the system. In particular, w
7#
發(fā)表于 2025-3-22 17:46:33 | 只看該作者
Design and Implementation of Symbolic Computation SystemsInternational Sympos
8#
發(fā)表于 2025-3-22 21:15:11 | 只看該作者
Sketching concepts and computational model of TROLL light,ptions (or templates as they are called in TROLL .) we explain how single states of an object community are constructed. By parallel occurrence of a finite set of events the states of object communities change. The object community itself is regarded as a graph where the nodes are the object communi
9#
發(fā)表于 2025-3-23 02:04:36 | 只看該作者
10#
發(fā)表于 2025-3-23 09:16:15 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-5 08:42
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復 返回頂部 返回列表
永善县| 长寿区| 滨州市| 西林县| 乌兰县| 三都| 乌兰县| 年辖：市辖区| 堆龙德庆县| 浦江县| 翁牛特旗| 黄龙县| 岢岚县| 阳朔县| 阿荣旗| 建平县| 公主岭市| 芦溪县| 鄂伦春自治旗| 米林县| 南陵县| 和田县| 高陵县| 利津县| 项城市| 凤阳县| 保康县| 永平县| 策勒县| 和田市| 太白县| 营山县| 东莞市| 宁远县| 保山市| 勐海县| 巴中市| 博爱县| 翁牛特旗| 堆龙德庆县| 湘潭县|