Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,914,827,339 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Sequent
(redirected from Logical assertion)

    Also found in: Dictionary/thesaurus, Legal, Wikipedia 0.01 sec.
Sequent
(Sequent Computer Systems, Inc., Beaverton, OR, www.sequent.com) A computer company founded in 1983 by 17 ex-employees of Intel that specialized in multiprocessing systems for the client/server environment. Sequent pioneered adapting SMP to Unix and was a leader in the high-end Unix market.

Sequent's SMP machines were all Intel based and were scalable up to 30 Pentium processors. Its Symmetry series ran the Unix-based DYNIX/ptx operating system, and the WinServer series ran Windows NT. Its NUMA-Q 2000 line, introduced in 1996, scaled up to 252 processors. In 1999, Sequent was acquired by IBM; by 2005, the Numa-Q servers and Symmetry line were on a migration path to IBM's pSeries, xSeries and TotalStorage offerings.
(company)Sequent - A computer manufacturer.

Quarterly sales $109M, profits $7M (Aug 1994).

Sequent computers was acquired by IBM in 1999.
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link 		Feedback
Mentioned in?  References in periodicals archive?   Encyclopedia browser?   Full browser?
No references found
 
” Actually, this is one of the few logical assertions Mr.
Larry Craig's Plea: Rationality, Not 'Panic' by Steve Kornacki / The New York Observer
The "actions" of agents -- including knowledge base servers and knowledge-based systems -- can he seen through a tell and ask functional interface (Levesque, 1984), where a client interacts with an agent by making logical assertions (tell), and posing queries (ask).
Ontology progress. (Monograph - Software Intelligence) by Software World
It is not, however, an entirely logical assertion that Best Mate will reverse the form with Florida Pearl in the Cheltenham Gold Cup.
Topspeed: Pace gave Pearl the edge at Kempton; Istabraq did ... by The Racing Post (London, England)
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.