-
1 исчисление предикатов с несколькими сортами переменных
Mathematics: several-sorted predicate calculusУниверсальный русско-английский словарь > исчисление предикатов с несколькими сортами переменных
-
2 исчисление предикатов с переменными нескольких видов
Mathematics: several-sorted predicate calculusУниверсальный русско-английский словарь > исчисление предикатов с переменными нескольких видов
-
3 нескольких видов
Makarov: several-sorted -
4 нескольких типов
Makarov: several-sorted
См. также в других словарях:
Sorted (TV series) — Infobox Television show name = Sorted network = BBC One BBC HD format = Drama creator = Danny Brocklehurst starring = opentheme = Bang Bang You re Dead by Dirty Pretty Things country = UK first aired = July 18 2006 (July 20 in Scotland) last… … Wikipedia
several — adjective 1) several people Syn: some, a number of, a few; various, assorted, sundry, diverse; literary divers 2) they sorted out their several responsibilities Syn: respective, individual, own, particular … Thesaurus of popular words
Ferritin light chain — Ferritin, light polypeptide, also known as FTL, is a human gene.cite web | title = Entrez Gene: FTL ferritin, light polypeptide| url = http://www.ncbi.nlm.nih.gov/sites/entrez?Db=gene Cmd=ShowDetailView TermToSearch=2512| accessdate = ] PBB… … Wikipedia
assorted — Synonyms and related words: adapted, aligned, arranged, arrayed, associated, at odds, at variance, bracketed, cataloged, categorized, chosen, classified, composed, conformable, conglomerate, constituted, contrary, contrasted, contrasting, coupled … Moby Thesaurus
List of commercially released independently developed Dreamcast games — Several games have been indepdendently released for the Sega Dreamcast on Compact Discs rather than GD Roms Contents 1 Sorted by alphabet 1.1 B 1.2 D 1.3 F 1.4 … Wikipedia
sedimentary rock — Rock formed at or near the Earth s surface by the accumulation and lithification of fragments of preexisting rocks or by precipitation from solution at normal surface temperatures. Sedimentary rocks can be formed only where sediments are… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia
United States Postal Service — This article is about the government agency. For individual post offices, see U.S. Post Office (disambiguation). For the cycling team, see Discovery Channel Pro Cycling Team. USPS redirects here. For the non profit boating safety and education… … Wikipedia
Library catalog — A library catalog (or library catalogue) is a register of all bibliographic items found in a library or group of libraries, such as a network of libraries at several locations. A bibliographic item can be any information entity (e.g., books,… … Wikipedia
ABAP — Infobox programming language name = ABAP/4 logo = paradigm = Object oriented, structured, imperative year = 1980s designer = SAP AG typing = Static, strong, safe, nominative implementations = SAP R/2,SAP R/3 dialects = influenced by = Objective C … Wikipedia