与 «MECHANIZABLE»相关的英语书籍
在以下的参考文献中发现
mechanizable的用法。与
mechanizable相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Learning and Geometry: Computational Approaches
The class of planar pure intersection theorems is mechanizable. This concept of
mechanizability has in fact prevailed in the whole of mathematics far beyond the
limited class of theorems above, but under a different terminology of decidability ...
David Kueker, Carl Smith, 1995
2
Mechanical Theorem Proving in Geometries: Basic Principles
Definition 4. If S in the above definition contains all meaningful geometric
sentences in geometry G, we say that theorem proving in geometry G is
mechanizable, or simply that G is mechanizable. The assertion "theorem proving
in geometry G ...
3
French Studies in the Philosophy of Science: Contemporary ...
Acceptable models meet two broad specifications: they treat the ability to be
modeled as a particular way of processing information, and this processing must
be shown either directly or indirectly to be mechanizable by well-identified or at
least ...
Anastasios Brenner, Jean Gayon, 2009
4
Energy, Bio Fuels and Development: Comparing Brazil and the ...
11,241/02, which regulates burning practices in sugar cane plantations in that
state, mandates its full abolition in all mechanizable and non-mechanizable
areas by 2021 and 2031, respectively. At the same time, UNICA, which
represents most ...
Edmund Amann, Reader in Development Economics Edmund Amann, Werner Baer, 2011
5
Science Progress in China
Hence among all kinds of mental labors, mathematics seems to be the easiest
one to be mechanizable. Our success in the mechanization of geometry' theorem
- proving shows that this is really the case. Our Mathematics Mechanization is so
...
6
Software Engineering Research and Applications: First ...
We present mechanizable transformation rules for data structure transformations
operating on specifications which follow the model theoretic framework of the
preceding section. We first discuss algebraic implementations and proceed with ...
C.V. Ramamoorthy, Roger Y. Lee, Kyung Whan Lee, 2004
7
The Foundations of Artificial Intelligence: A Sourcebook
Such a theory must be mechanizable. My notion of mechanizable is informal. I
hope by the end of this note it will be clearer. Below, I outline the mechanizable
analogues of the usual notions of model, interpretation, satisfaction, theory, and ...
Derek Partridge, Yorick Wilks, 1990
8
Computer Science Logic: 5th Workshop, CSL '91, Berne, ...
The approach is mechanizable using termination orderings proposed in the term
rewriting literature. Unlike Ullman and van Gelder's approach and Pliimcr's
method, HO preprocessing is needed, and the approach works well even in the ...
9
Theorem Proving in Higher Order Logics: 13th International ...
... J. Harrison and M. Aagaard (Eds.): TPHOLs 2000, LNCS 1869, pp. 283-300,
2000. © Springer- Verlag Berlin Heidelberg 2000 also occurs as a term
constructor with the natural meaning. A. Strong. and. Mechanizable. Grand. Logic
*. XVII.
Mark Aagaard, John Harrison, 2000
10
Proof Theory of Modal Logic
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc.
包含词语«MECHANIZABLE»的新条目
找出国内和国际出版社所讨论的内容，以及词语
mechanizable在以下新条目的上下文中是如何使用的。
'Zero Distance' is aimed at infusing innovation into Infosys' existing …
... IAP is already resulting in substantial savings due to automation in the routine, mechanizable areas like parts of infrastructure management. «Economic Times, 六月 15»
Friedland works his magic at the PDAC
He pitches the project as the world's “largest mechanizable, ethical, precious metals discovery.” Flatreef hosts 29.2 million oz. platinum, ... «The Northern Miner, 三月 13»
Review: Atoms for Peace's Amok looks forward, not back
... layers, depth — a supporting cast to Yorke's increasingly mechanizable mindset. This isn't the fusion of two '90s alternative powerhouses that ... «ALARM Magazine, 二月 13»
