«EQUATIONAL»に関連する英語の本
以下の図書目録から
equationalの使いかたを見つけましょう。
equationalに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
"Be" and
Equational Sentences in Egyptian Colloquial Arabic
The volume attempts to deal with equational sentences in Egyptian Colloquial Arabic and their remote structure.
2
Process Algebra:
Equational Theories of Communicating Processes
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
J. C. M. Baeten, T. Basten, Twan Basten, 2010
3
Equational Logic As a Programming Language
This book provides a comprehensive description of the theoretical foundations, design, and implementation of an innovative logic programming language in which computations are produced directly from equational definitions.
Michael J. O'Donnell, 1985
4
Decision Problems for
Equational Theories of Relation Algebras
This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras).
H. Andréka, Steven R. Givant, I. Németi, 1997
5
Automated Deduction in
Equational Logic and Cubic Curves
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first ...
William McCune, R. Padmanabhan, 1996
6
Iteration Theories: The
Equational Logic of Iterative Processes
Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed investigation of the properties of the fixed point or iteration operation.
Stephen L. Bloom, Zoltan Esik, 2011
7
Learning Search Control Knowledge for
Equational Deduction
This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions.
The presented text is self-contained. The notions and results are demonstrated through examples which are graphically illustrated. The book is useful for researchers, but it can also be used as a graduate text.
Radim Belohlávek, Vilem Vychodil, 2010
9
On the applications of multi-
equational resultants
In this paper, we survey a range of geometric and algebraic problems that may be solved using multi-equational resultants.
Chanderjit Bajaj, Thomas F. Garrity, Joseph D. Warren, 1988
10
A Reference Grammar of Modern Standard Arabic
Similarly, sometimes the terms jumla ismiyya and "equational sentence" are
taken to be equivalents, but they are not. A jumla ismiyya is a sentence that starts
with a noun, including those that contain verbs. An equational sentence refers to
a ...
用語«EQUATIONAL»を含むニュース項目
国内外の報道機関が語った内容や、次のニュース項目の文脈から
equationalという用語がどのように使われているかを調べてみましょう。
What will enterprise architecture look like in 5 years?
EA models can be analyzed using a whole variety of equational and structural algorithms for KPIs, such as TCO, ROI, compliance, risk, re-use, ... «InfoWorld, 6月 15»
Presidency in focus
... for the second successive time eliminated in the preliminary round at the 2015 Africa Cup of Nations, which was held in Equational Guinea. «Zambia Daily Mail, 3月 15»
Meiotic cell division 'the other way round'
The coordination of the two meiotic chromosomal divisions (the reductional followed by the equational division) gives meiosis its distinctive ... «Phys.Org, 10月 14»
EPA and the Moral Failure of African Leadership
Dambisa Moyo thinks contributes to the equational underdevelopment of Africa in the first place. She has rightly pointed out that no nation has ... «GhanaWeb, 4月 14»
What Amiri Baraka Said Kwame Nkrumah (Vlll)
Note: Drayton faults Pomeranz for excluding Europe's “access to West Africa” as part of its equational success where development and growth ... «GhanaWeb, 3月 14»
A Great Ghanaian Economist: Dr. Yaw Nyarko-Part ll
... directly or necessarily lead to material actualities if useful connections of equational linearities are not established between theory and praxis ... «GhanaWeb, 12月 13»
U President not interested in defending 'status quo'
Bonoff likes hearing university officials propose tuition freezes, but doesn't buy into an equational approach — that if the state provides a certain ... «Stillwater Gazette, 1月 13»
Pure and Julia are cool languages worth checking out
It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical ... «Network World, 1月 13»
M@h*(pOet)?ica Scott Helmes
... into nexuses of connotations by their equational re-contextualization rather than used with mathematical symbols in mathematical operations ... «Scientific American, 10月 12»
Connecting with connectives
(1) the verb “to be”, which in the appropriate context is an equational verb – it links a noun (or substantive) which is the subject with a noun ... «Malaysia Star, 8月 10»
