与 «TYP.»相关的英语书籍
在以下的参考文献中发现
typ.的用法。与
typ.相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Mutual Substitutability of Aluminum and Copper: Report
007 to 012 inrl 13-18000 4500 Typ 18 11000 10. 0 Over 012 to . 031 incl 13-
18000 4500 Typ 20 11000 10. 0 Ov« r 031 to 050 incl 13-18000 4500 Typ 23
11000 10. 0 Over . 050 id . 249 incl 13-18000 4500 Typ 2 5 11000 10 0 017 t.i
019 mi l ...
2
Transactions on Rough Sets IV
Using Corollary 3.1 we conclude that typ(Z/11%,) G {a,7}. Using Corollary 3.1 and
Lemma 3.3 we obtain typ(Z/11%,) G {a, B, 7}. From Lemma 3.6 it follows that typ(Z
/($17,) G {a, 7}. a) Let typ(Z/li"}',,,) I 04. Using Lemmas 3.3 and 3.4 we obtain ...
James F. Peters, Andrzej Skowron,
2005
150) 1959 Beutler Cabriolet Custom body built for German royalty Typ 616/1 Flat
four. ... 7,5:1 Typ 716 4 + Reverse 443 Steel 2350mm (stretched 250mm)
4300mm 1651mm 1 396mm (top up) 920kg Beutler Special 4 seat cabriolet
Aluminum ...
4
Shenoute's Literary Corpus
typ. inc. 7 ntkoy-a.ika.ioc rucoeic eTBenii -J- (typ. frgs. A 91:19; J 342:6; cf. Vienna
inc. 43); with lections: T7 frg. a anay eTBENBNNe (typ. frg. A 91:18); cf. XJ frg. lv:i.
9- 10 (anay Ae Zww<\ ON eTBNNe)? T7 frg. b inpMMio 2ntco<J>ia (tyP- frg- J ...
5
Clitics and Constituents in Phrase Structure Grammar
A [~Q, +PRD, SUBCAT<>] TYP(AP[+PRD]) P [~PFORM, SUBCAT<>] TYP(PP[~
PFORM]) For categories with non-empty SUBCAT lists (irrespective of BAR level),
we inductively obtain types such as those illustrated in the following table: (38) ...
6
Selected Papers on Automath
(1) B2 does not end in x, then
typ*(B2) 5
typ*(B2)* 2 [u : <p*]ib*. (2) Otherwise
form C2 from B2 by replacing its final at, B2 5 ...x, C2 5 ...x...
typ*(A)1typ*(B2).
Then, by CR (
typ*(B2)), C21 [u : 9011/1 and, by 5.3.4 C2 2 [u : <p”]w” with, by PD,
...
R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer,
1994
7
LOGIDATA+: Deductive Databases with Complex Objects
Given that, for a class name | C | = || $(C) || + | TYP(C) |, then the total effort for
computing In all the cases we have examinated, REF(<;, <() runs in O(\ tj \ x | t( \)
steps, then the total effort for the m labels is: | TYP(d) | + | tj | x | <J |) < I TYP(Ci) | x
...
8
Algebraic Specification Techniques and Tools for Software ...
typ(programjtatement) = program; typ(empty -statement) = statements; typ(single-
statement) = statements; typ(compoundjstatement) = statements; typ(assignment)
= statement; typ(iteration) = statement; typ(case^analysis) = statement; ...
Ingo Classen, Hartmut Ehrig, Dietmar Wolz,
1993
9
Real World OCaml: Functional programming for the masses
val short : int typ val int : int typ val long : long typ val llong : llong typ val nativeint :
nativeint val int8_t : int typ val int16_t : int typ val val uchar : uchar typ val uchar :
uchar typ val uint8_t :uint8 typ val uint16_t :uint16 typ val uint32_t : uint32 typ val
...
Yaron Minsky, Anil Madhavapeddy, Jason Hickey,
2013
10
A Handbook of Soil Terminology, Correlation and Classification
agric dark-grey soils — soil typ . z Luvic Greyic Phaeozems (Anthric) agric gleyic
dark-grey soils — soil type. z Luvic Gleyic Greyic Phaeozems (Anthric) agric dark-
humus podbels — soil typ . z Umbric Stagnosols (Anthric) agric dark-humus ...
Richard Arnold, Serghei Shoba, Pavel Krasilnikov,
2009