upper sequent
Смотреть что такое "upper sequent" в других словарях:
Microprocessor — Intel 4004, the first general purpose, commercial microprocessor A microprocessor incorporates the functions of a computer s central processing unit (CPU) on a single integrated circuit,[1] (IC) or at most a few integrated circuits … Wikipedia
AT&T Computer Systems — is the generic name for American Telephone Telegraph s unsuccessful attempt to compete in the computer business. In return for divesting the local Bell Operating Companies (Baby Bells), AT T was allowed to have an unregulated division to sell… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Vrilissia — Infobox Greek Dimos name = Vrilissia (Βριλήσσια) name local = periph = Attica prefec = Athens population = 25.582 population as of = 2001 pop dens = 6.634 area = 3.856 elevation = 250 lat deg = 38 lat min = 2 lat hem = N lon deg = 23 lon min = 50 … Wikipedia
EverQuest — Developer(s) Sony Online Entertainment Publisher(s) Sony Online Entertainment … Wikipedia
Unix — (officially trademarked as UNIX, sometimes also written as Unix with small caps) is a computer operating system originally developed in 1969 by a group of AT T employees at Bell Labs, including Ken Thompson, Dennis Ritchie, Douglas McIlroy, and… … Wikipedia
Depth psychology — Historically, depth psychology, from a German term (Tiefenpsychologie), was coined by Eugen Bleuler to refer to psychoanalytic approaches to therapy and research that take the unconscious into account. The term has come to refer to the ongoing… … Wikipedia
Meier & Frank — This article is about the Meier Frank retailing company. For the historic downtown Portland building which housed its flagship store see Meier Frank Building Meier Frank Former type Department store Industry Retail … Wikipedia
Magical Girl Lyrical Nanoha terminology — Articleissues cleanup = January 2008 copyedit = January 2008 in universe = January 2008 in universe cat = OR = January 2008 citecheck = January 2008This is a glossary of terms from the anime and manga series Magical Girl Lyrical Nanoha , and its… … Wikipedia
consequence — Synonyms and related words: PS, Parthian shot, accent, addendum, affective meaning, aftereffect, aftermath, afterthought, amour propre, appendix, ascendancy, authority, back matter, bearing, by product, cachet, charisma, charm, chorus, clout,… … Moby Thesaurus
