surveyable
Look at other dictionaries:
surveyable — index appreciable, determinable (ascertainable) Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary
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
