surveyable

См. также в других словарях:

• 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