prover

prover
A person, device, or program that performs logical or mathematical proofs

Wikipedia foundation.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • prover — a para prover às primeiras necessidades. prover( se) com (ou de) prover de mantimentos; prover se com duas boas mantas de agasalho. prover em prover num cargo de responsabilidade …   Dicionario dos verbos portugueses

  • Prover — Prov er, n. One who, or that which, proves. [1913 Webster] …   The Collaborative International Dictionary of English

  • prover — |ê| v. tr. 1. Abastecer, fornecer, munir. 2. Dotar. 3. Nomear. • v. intr. 4. Providenciar. • v. pron. 5. Abastecer se …   Dicionário da Língua Portuguesa

  • Prover — Recorded in many forms including Prop, Proop, Proops, Proffer, Proffor, Proper, Propper, Proppers, Priver, and Prover, this is probably a Welsh surname, or at least it may owe something to a Welsh ancestry. Surnames which are quite rare, which… …   Surnames reference

  • prover — patikros programa statusas T sritis automatika atitikmenys: angl. prover vok. Gerätetestprogramm, n rus. программа поверки, f pranc. programme de vérification, m …   Automatikos terminų žodynas

  • prover — kontrolės priemonė statusas T sritis Standartizacija ir metrologija apibrėžtis Techninis įtaisas, įrankis ar medžiaga tikrinimui atlikti. atitikmenys: angl. checker; prover vok. Prüfmittel, n rus. средство контроля, n pranc. moyen de contrôle, m …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • prover — noun see prove …   New Collegiate Dictionary

  • prover — See provability. * * * …   Universalium

  • prover — n. one who verifies by giving evidence, one who demonstrates …   English contemporary dictionary

  • prover — prov·er …   English syllables

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”