bool


Also found in: Dictionary, Acronyms, Wikipedia.

bool

References in periodicals archive ?
RTypes <-> re_rts res: Ress <-> re_res prop: Props <-> re_prop stat: Stats <-> re_stat, Repository = {| s:Repository' :- iswf(s)|} value iswf: Repository' -> Bool iswf(r) is iswfRes(res(r), rts(r)) / iswfProp(prop(r),dts(r),rts(r)) / iswfStat(stat(r),res(r),prop(r),dts(r),rts(r)) Statements are well-formed if all statements are correct and all their elements exist in their collections.
A jury found Bool guilty of kidnapping, but cleared him of attempted murder, attempting to cause grievous bodily harm with intent and false imprisonment.
Mr Bool says: "Note the car park in the front on Lime Street and St George's Place in front off the Washington and Wellington Hotel.
State x T, pre_proc,pre_other: T x State [right arrow] Bool axiom .
Taffs Well (v Penarth): A Webb; A Bonetto, K Dodd, K Rapson, A Shea; R Hughes (c), G Downes; G Gibbs, A Ali, N Hill, J Wallace, N Morgan, A Bonneto, D Bool, R O'Reilly.
Harrods Aviation Technical Director John Bool said, We welcome the arrival of Marshall Business Aviation at our London Luton Airport facility.
Taffs Well (v Brecon): R Hughes; J Henthorn, R Mayer, K Dodd (c), C Field; J Hague, G Ibbs; C Gane, N Hill, M Evans, N Morgan, A Bonnetto, R Rees, D Bool
Taffs Well (v Brecon): R Hughes; J Henthorn, R Mayer, K Dodd (capt), C Field; J Hague, G Ibbs; C Gane, N Hill, M Evans, N Morgan, A Bonnetto, R Rees, D Bool
00pm): R Hughes, P Williams, J Sultana, K Dodd (c), N Pryce, P Williams, C Gardner, P Dyer, C Gane, N Hill, N Morgan, A Bonetto, R Watkins, D Bool.
Darran Bool, who played for Uwic, and Treorchy, and also worked with the Bridgend Academy, will be joined by Ayer Rees.
We are here to send messages and not to sell bools," Samir Al-Jundi, owner of Dar Al-Jundi Publishing House from Al Quds, told Xinhua.
As for drug smuggling for the price of the Damavand the government could have bought a dozen or more small patrol bools that would be far more effective.