Translation: from english


Look at other dictionaries:

  • surveyable — index appreciable, determinable (ascertainable) Burton s Legal Thesaurus. William C. Burton. 2006 …   Law dictionary

  • surveyable — adjective Able to be surveyed or observed. Ant: unsurveyable See Also: survey …   Wiktionary

  • surveyable — adj. capable of being surveyed …   English contemporary dictionary

  • surveyable — sur·vey·able …   English syllables

  • surveyable — (ˌ)sərˈvāəbəl adjective : capable of being surveyed …   Useful english dictionary

  • survey — surveyable, adj. v. /seuhr vay /; n. /serr vay, seuhr vay /, v., n., pl. surveys. v.t. 1. to take a general or comprehensive view of or appraise, as a situation, area of study, etc. 2. to view in detail, esp. to inspect, examine, or appraise… …   Universalium

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

  • Coq — For the coenzyme and dietary supplement, see Coenzyme Q10. Coq Paradigm(s) Functional Stable release 8.3 (October 2010; 12 months ago (2010 10)) …   Wikipedia

  • Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… …   Wikipedia

  • determinable — de·ter·min·able adj 1: capable of being determined, ascertained, or decided upon 2: liable to be terminated upon the occurrence of a contingency Merriam Webster’s Dictionary of Law. Merriam Webster. 1996 …   Law dictionary

Share the article and excerpts

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

Wir verwenden Cookies für die beste Präsentation unserer Website. Wenn Sie diese Website weiterhin nutzen, stimmen Sie dem zu.