与 «SUBST.»相关的英语书籍
在以下的参考文献中发现
subst.的用法。与
subst.相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
ISSUING THE SUBST COMMAND You can use the SUBST command to perform
different functions. To establish an alias, use the following syntax: SUBST dr. d2: \
pathname To delete an alias, use this form: SUBST d1: /D To see the current ...
2
The Royal Dictionary, French and English, and English and ...
Patemity, Subst. (Fatherhood) Paternité, qualité de lire. Pater noster, Subst. (the
Lord's prayer) le Pater, t U fatenitre, l'oraifon dominicale. Paer-nosters (the great
beads of a chapiet) Paters, ou patenitres. PATH, Subst. (or by way) Vn sen- ^~ticr
- ...
3
Windows Administration at the Command Line for Windows ...
If you don't specify this command line switch, the Sort utility sends the output to
the standard output, which is the console. Associating a Folder to a Drive with the
Subst Utility The Subst utility is one that just about anyone can use. It makes a ...
4
COMMON LISP: The Language
See chapter 14. subst new old tree &key :test : test-not :key [Function] subst-if
new test tree &key :key [Function] subst-if-not new test tree &key :key [Function] (
subst new old tree) makes a copy of tree, substituting new for every subtree or
leaf ...
5
The Čakavian Dialect of Orbanići Near Žminj in Istria
oh blessed health' abadat verb ipf Zm 'care' (usually negated), pr 3sg ne abada '
she does not care' adijo interj 'bye' advenaf subst m (obsolescent) 'December'; '
Advent', Gsg adv'ehfa, Lsg adv'enfe afan im Wje pala va afSn 'she fainted' afar ...
6
Handbook of Practical Logic and Automated Reasoning
Proof Suppose E' I subst o ((C' — C1) U (D — D1)) is a resolvent of C' and D, a
being an MGU of the nonempty set C1 U D1_, where C1 Q C' and D1 Q D. Since
C gss C' we have subst 6 C Q C' for some 6. Because of the renaming of D that ...
7
Practical Programming in Tcl and Tk
You can use the subst command to do this: set cmd [$button cget -command] $
button config -command [subst $cmd] Choosing the scope for the subst can be
tricky. The previous command does the subst in the current scope. If this is the ...
Brent B. Welch, Ken Jones, Jeffrey Hobbs, 2003
8
Gender, Language and New Literacy: A Multilingual Analysis
Madame (Subst.) (Madame, Dame, Weib, Frau); Krone der Schépfung (Subst.) (
Krone der Schopfimg, Dame, Weib, Frau, Frauenzimmer); Frau (Subst.) (Frau,
Dame, Evastochter, Frauenzimmer, Weib, Madame, Weibsbild, Herrin, Gebieterin
, ...
Eva-Maria Thüne, Carla Bazzanella, Simona Leonardi, 2009
9
Computer Science Logic: 21 International Workshop, CSL 2007, ...
If T0 inner T1, then subst T0 subst T1. 3. IfT0 switch T1 , then subst T0 = subst T1 .
4. If T0 ip T1 then subst T0 ip subst T1. 5. Let R be a value-sequence table of type
−→ ¬C (in the rightmost column), and let j ∈ $| −→ ¬C| and q ∈ ultv(Cj).
Jacques Duparc, Thomas A. Henzinger, 2007
10
Computational Logic and Set Theory: Applying Formalized ...
reformulation of the condition '—-Pr(s)' is advantageous for the argument given
two paragraphs below. Rosser's trick sentence is now —-Prr(Subst(“Prr(Subst(x ,
x)”, “Prr(Subst(x, x))”), 4 7 where Subst is as before. Reasoning as above we find
...
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, 2011