ETYMOLOGIE DES WORTES PROPTÍ
proptí (proptésc, proptít), vb. –
1. A sprijini, a rezema. –
2. A pune, a fixa, a se rezema. –
3. A proteja, a favoriza. –
Var. Mold. propi, Trans. împropti. Sl. podŭprĕti (Tiktin; Candrea). –
Der. proptă, s. f. (proptea; sprijin, protecție; opoziție, rezistență);
proptea, s. f. (stîlp de sprijin; ajutor; protecție; pană, piedică, frînă);
proptiș, s. n. (barieră, stavilă);
proptiș, adv. (pieptiș);
proptitor, s. n. (oiște).
10 BÜCHER, DIE MIT «PROPTÍ» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
proptí in der folgenden bibliographischen Auswahl. Bücher, die mit
proptí im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
Fullerenes and Related Structures - Pagina 68
... prop@'ti ... prop@'ti ...
2
Foundations of Rational Agency - Pagina 246
Axiom 1 : (VG, T;) Int.Th(G, prop, Ti, T'prop, ICprop) => -Bel(G, -prop, T.) Axiom 2: If an agent intends-that prop and does not believe prop (VG, T;) (1) [Int.Th(G, prop, Ti, Torop, ICprop) A - Bel(G, prop, Ti)] = [ and there is some action the agent ...
M.J. Wooldridge, A. Rao,
2013
3
Monoidal Topology: A Categorical Approach to Order, Metric ...
A Categorical Approach to Order, Metric and Topology Dirk Hofmann, Gavin J. Seal, Walter Tholen. For (3), consider the structure b : (po - a - Tp) /\ (qo - a - Tq) of X X X (with projections p, q); then (6X : (X, a) H (X X X, b)) G Prop(TI, V) means b- ...
Dirk Hofmann, Gavin J. Seal, Walter Tholen,
2014
4
Abductive Reasoning and Learning: Volume 4: Abductive ... - Pagina 85
The predicate persists(prop, ti , t2) is introduced to formalize persistence. An axiom states that a proposition prop is true at time £2 if prop is initiated at time £1 lying before t2 and if prop persists through time until time t3 lying after t2 or being ...
Dov M. Gabbay, Philippe Smets, Rudolf Kruse,
2000
5
How to Cheat at Securing SQL Server 2005 - Pagina 260
... and modify report history prop* -ports Creat- and delet-ports-nd-ty-port properties * - Creat-if-delet--- modify-e-propert* set-unty for -*-ūt-tūn-port- and shared-at--- -- * -at- ----------- * v-fold- Wi-fed-items in the foldern-hy, and -fold-prop-ti* view ...
6
Abductive Reasoning and Learning - Pagina 85
The predicate persists(prop, ti, t2) is introduced to formalize persistence. An axiom states that a proposition prop is true at time t2 if prop is initiated at time t1 lying before t2 and if prop persists through time until time t3 lying after to or being ...
Dov M. Gabbay, Philippe Smets,
2013
7
Application and Theory of Petri Nets: 33rd International ... - Pagina 140
... c(N) since the converse implication holds by Prop. T.I.) it remains to ensure that t” O °t # () implies t , t e Cc(N). This condidition can be restated as the following requirement on places. Definition 4.6. An inner place p of a workflow net is said to ...
Serge Haddad, Lucia Pomello,
2012
8
Situation Theory and Its Applications - Volumul 1 - Pagina 459
5. The. Strategic. Discourse. Model. We first construct local games and then the global game. Local games can be defined by constructing the elements of (T, X; ACT, a; TV, 77; p;H;v} one by one. Initial Assumptions Assumption 7 d is a factual ...
Robin Cooper, Kuniaki Mukai, John Perry,
1990
9
Basic thermodynamics - Pagina 231
Prop-ti- of Steam, extracted from 'Th-modynamic and Tran-port Prop-ti- of Fluid-' by courte-y of Mayhew and Roeer- (-ee paee 29) s»pfo wv3}- -noiivji '01 '9 3m^}d 2S) jdaoxa -ujciScip U«. 7~i = srturrtion temperrtur 2 = specific entropy of ...
A. S. Morton, Peter John Beckett,
1969
10
Glossariu care coprinde vorbele d'in limb'a romana straine ...
... oolumen, praesidium, auxillum, admlutculum; tutela, sustentaclu, fulcru, proptella, presediu, adjutoriu, admini- clu; derívate :sprijinire,-escu, v.; l.tran- eitivu, fulclre, suffulclre, sustentare, adminiculare ; a fulcí , a suffulcí, a sustenta, a proptí, ...
August Treboniu Laurian, Ioan C. Massim,
1871