Search

11 Dec 2006: M.G. Beghi , A.C. Ferrari , C.E. Bottani , A. Libassi , B.K. ... Tanner , K.B.K. Teo , J. Robertsona b, a a c b b.

10 Feb 2006: Revenant: sequence B:. Running. Sprite name: SKEL. Apparently when a demon dies, they pick him up, dust him off, wire him some combat gear, and send him back into battle. ... Available sequences for Revenant:Sequence B. Running. Back to the DOOM zoo page.

18 May 2006: b : unit -> goalstack. SYNOPSIS. Restores the proof state, undoing the effects of a previous expansion. ... FAILURE CONDITIONS. The function b will fail if the backup list is empty.

28 Nov 2006: Bottani , A.C. Ferrari , J. Robertson , P. Milania, a a a b b c. ... 349. w5x A.C. Ferrari, A. Li Bassi, B.K. Tanner, V. Stolojan, J.

10 Feb 2006: Arch-vile: sequence B:. Running. Sprite name: VILE. One of the worst of a bad lot. ... Available sequences for Arch-vile:Sequence B. Running. Back to the DOOM zoo page.

18 May 2006: The goal:. # g (b ==> b) ==> (b ==> a);;. ... by applying the following tactic:. # e(BOOL_CASES_TAC b:bool THEN REWRITE_TAC[]);; val it : goalstack = No subgoals.

13 Nov 2006: K.; Rubloff, G. W.Phys. ReV. B. 1986, 33, 5517.(21) Holstein, W. ... K.; Unlu, M. S.; Goldberg, B. B.; Pimenta, M. A.; Hafner, J.

10 Feb 2006: Cyberdemon: sequence B:. Walking. Sprite name: CYBR. A missile-launching skyscraper with goat legs. ... Available sequences for Cyberdemon:Sequence B. Walking. Back to the DOOM zoo page.

18 May 2006: EXAMPLE. # CONJ_CANON_CONV (a / b) / ((b / d) / a) / c;; val it : thm = |- (a / b) / ((b / d) / a) / c <=> a / b / c / d.

18 May 2006: EXAMPLE. # DISJ_CANON_CONV (c / a / b) / (b / a / d);; val it : thm = |- (c / a / b) / b / a / d <=> a / b / c / d.

18 May 2006: assocd : 'a -> ('a 'b) list -> 'b -> 'b.

27 Jul 2006: B, formerly Biomer; Free; Source Code; Java. Has moved from its old location to Professor David Case' group at the Scripps Research Institute.

18 May 2006: rev_assocd : 'a -> ('b 'a) list -> 'b -> 'b.

28 Nov 2006: Robertson , S. Muhla, b b a. Instituto de Investigaciones en Materiales, Universidad Nacional Autonoma de Mexico, Apartado Postal 70-360, Coyoacan D.F. ... Robertson, Phys. Rev. B, submittedfor publication. w24x (a) S.E. Rodil, N.A.

18 May 2006: type_match :A->B->bool :num->num->bool [];; val it : (hol_type hol_type) list = [(:num, :A); (:num, :B)]. ... itlist2 type_match [:A->A->bool; :B->B->bool] [:num->num->bool; :bool->bool->bool] [];; val it : (hol_type hol_type) list = [(:num, :A); (:bool,

18 May 2006: EXAMPLE. # WEAK_CNF_CONV (a / b) / (a / b / c) / d;; val it : thm = |- a / b / a / b / c / d <=> ((a / a / d) / (b / a / d)) / ((a / b / d) / (b / b / d)) / ... a / c / d) / (b / c / d).

19 Jul 2006: b:b/1. a:a/2. b:b/2. a:a/1. b:b/1. 1 2/1. Input State Seq. Output Weight. ... a:a/1. b:b/1. a:a/1. b:b/1. a: /1ε. b: /1ε. a: /1ε. b: /1ε.

26 Jun 2006: ii) A B and B A. (iii) (A B) B and (A B) B. ... Prove A B A B = B. 2. Proposition 1.11 Let A, B U.

18 May 2006: REAL_ARITH! a b:real. a b >= max a b <=> a >= &0 / b >= &0;; val it : thm = |-! a b. a b >= max a b <=> a >= &0 / b >= &0. ... 0) <=> (a <= b ==> (a b >= b <=> a >= &0 / b >= &0)) / ((a <= b) ==> (a b >= a <=> a >= &0 / b >= &0)).

10 Feb 2006: b): """Take bitstring 'b' and return the corresponding hexstring.""" result = "" l = len(b) if l % 4: b = b "0" (4-(l%4)) for i in range(0, len(b), 4): result = ... l / 32 if l % 32: wordsNeeded = wordsNeeded 1 if wordsNeeded < minWords: wordsNeeded =