Cataplexy
发表于 2025-3-21 17:16:10
书目名称Artificial Intelligence and Symbolic Mathematical Computing影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0162334<br><br> <br><br>书目名称Artificial Intelligence and Symbolic Mathematical Computing读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0162334<br><br> <br><br>
不真
发表于 2025-3-21 21:09:00
http://reply.papertrans.cn/17/1624/162334/162334_2.png
托运
发表于 2025-3-22 04:07:53
http://reply.papertrans.cn/17/1624/162334/162334_3.png
nauseate
发表于 2025-3-22 06:24:53
http://reply.papertrans.cn/17/1624/162334/162334_4.png
tattle
发表于 2025-3-22 11:39:35
On mathematical modeling in robotics, topological reasoning and so-called fibered logical spaces for logical reasoning in robotics. The main perspective is on interaction and combination of different fields and methods from symbolic mathematical computation and AI and the mutual stimulation given by the various disciplines.
拒绝
发表于 2025-3-22 13:13:32
Completion and invariant theory in symbolic computation and artificial intelligence,igence is presented on a level of abstraction which permits a unifying viewpoint on problems in symbolic computation and artificial intelligence. We refer to applications in computational polynomial ideal theory and in general problem-solving in the sense of AI research.
adequate-intake
发表于 2025-3-22 20:52:58
A type-coercion problem in computer algebra,such a type system are polymorphism and coercion between types. Recently the use of order-sorted rewrite systems was proposed as a general framework..We will give a quite simple example of a family of types arising in computer algebra whose coercion relations cannot be captured by a finite set of first-order rewrite rules.
宽度
发表于 2025-3-23 00:00:47
A desk-top sequent calculus machine,nts a desk-top machine used in interactive mode to solve verification as well as generation and abduction problems. The object oriented design is described and some implementation remarks are given. Examples of working sessions are presented.
玉米
发表于 2025-3-23 01:53:32
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/162334.jpg
Type-1-Diabetes
发表于 2025-3-23 06:30:13
https://doi.org/10.1007/978-3-319-50079-9apers given at the 1992 Karlsruhe conference. Its main objective is to highlight some patterns that can be used to guide both sketches of the state of the art in this territory and suggestions for future research activities.