WAS BEDEUTET ЕПРОП AUF UKRAINISCH
Hier klicken,
um die ursprüngliche Definition von «епроп» auf Ukrainisch zu sehen.
Hier klicken,
um die automatische Übersetzung der Definition auf Deutsch zu sehen.
Definition von епроп im Wörterbuch Ukrainisch
Epoche, u, h., ist. Abkürzungen: Expedition für Unterwasserarbeiten von besonderem Zweck (eine Organisation, die sich mit der Rettung und dem Heben versunkener Schiffe beschäftigt). Sowjetische Ingenieure und Taucher, die Teil der Epas sind, sind auf der ganzen Welt für das erfolgreiche Heben von mehr als 150 großen Schiffen berühmt geworden (Interesting Physics, 1950, 133). епроп, у, ч., іст. Скорочення: Експедиція підводних робіт особливого призначення (організація, що займалася проведенням аварійно-рятувальних робіт та підніманням кораблів, що затонули). Радянські інженери і водолази, які входять до складу Епропу.., прославились на весь світ успішним підняттям понад 150 великих суден (Цікава фізика.., 1950, 133).
Hier klicken,
um die ursprüngliche Definition von «епроп» auf Ukrainisch zu sehen.
Hier klicken,
um die automatische Übersetzung der Definition auf Deutsch zu sehen.
10 BÜCHER, DIE MIT «ЕПРОП» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
епроп in der folgenden bibliographischen Auswahl. Bücher, die mit
епроп im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
Logics for Computer Science - Сторінка 3
Now how to define them? Here are some of the ways of defining the set of all propositions, PROP. Definition 1.1 The set of all propositions, PROP is the smallest set of expressions such that {T,.L,p0,p1, . . Q PROP, and whenever a:,y E PROP, ...
2
Foundations of Intensional Semantics - Сторінка 81
A-Rules General Function Spaces (1) General Function Spaces (2) te(S:I>T) 15¢(5=:>T) Vx(x€S—>tx€T) EIx(x€S/\tx¢T) Negated Propositions Universal Propositions Qt e Prop (\;'xeS(t)) e Prop t e Prop ()Ixt) e (S ::> Prop) Existential Propositions ...
Chris Fox, Shalom Lappin, 2008
3
Dictionary of Nineteenth-century Journalism in Great ... - Сторінка 814
Howitt, Mary Howitt, William (e) Hubbard, Louisa (p) Hueffer, Francis (e) Hunt, James (prop) Hunt, (James Henry) Leigh (e) Hunt, Thornton Leigh (e) Hutton, Richard Holt (e, prop) Huxley, Thomas Henry (e) Irving, Joseph (prin) James, Henry ...
Laurel Brake, Marysa Demoor, 2009
4
Advanced Topics in Artificial Intelligence: 11th ... - Сторінка 103
The encoding corresponding to our example is complement(blocked o blocked). Each e-propositions is encoded by an atom of the predicate eprop . The encoding corresponding to our example is eprop((park, blocked, 0, 0)). eprop((call, ...
Grigoris Antoniou, John K. Slaney, 1998
5
Fundamentals of Artificial Intelligence Research: ... - Сторінка 38
Let PROP be a property of relations, and let EPROP(R) be a relational expression which reflects possession of PROP by R. Namely, EPROP(R) represents universal relation iff R possesses PROP. For example, if PROP=ref lexivity , then ...
Philippe Jorrand, Jozef Kelemen, 1991
6
Hebrew Bible / Old Testament. III: From Modernism to ... - Сторінка 571
1 4A ay. RODert LOWtn S 1nIluent1a1 WOrK, U6' 561C761 P0851 11807618071477? (I/DJ), se 0 an accoun O prop e 1C 1nsp1ra 10n a ocuse on e uman agen . ll n 15 an S e 1g mora an aes e 1C C arac er 0 e prop e 1 no con 1C 1 e pre 1C ...
7
Handbook of Proof Theory - Сторінка 697
... (T – Prop) for some type T. Compound propositions are built from the logical connectives &, V, => or the logical operators B and V. The membership rules are that if T H F e Prop and T H G e Prop, then T H (F op G) e Prop for op a connective; ...
8
Situation Theory and Its Applications - Том 1 - Сторінка 457
Definition 7 EPROP is the set of all expressible propositions. EPROP=df\J^Md(4,). Assumption 4 Vp G EPROP, £p is nonempty and finite, where £p = {ip G £:Md(<A) = {p}}. This property is called (finite, explicit) expressivity.7 Definition 8 \id ...
Robin Cooper, Kuniaki Mukai, John Perry, 1990
9
City of Extremes: The Spatial Politics of Johannesburg - Сторінка 366
“R600-million Alice Lane Towers Consolidates Legal Cluster in Sandton CBD,” EPROP Commercial Property Marketplace, 11 June 2008. 101. Fran Teagle, Broll Property Group, quoted in “Sandton Towers pushing 'Iconic' Standards,” ...
10
KI-94: Advances in Artificial Intelligence: 18th German ... - Сторінка 26
Example (continued) Let PD, be defined by <PDJ(sleeps) = sleeps, ipo^hurt) Then PDl = complement (sleeps o sleeps) . complement (hurt o hurt) . complement (open o open) . eprop(Q), activate, sleeps) . eprop (open, runJnto , hurt ) . eprop (0 ...
Bernhard Nebel, Leonie Dreschler-Fischer, 1994