to deduce an inference
1deduce — 01. It is important to learn a process which will help you to [deduce] the meaning of new vocabulary from context. 02. The detectives were able to [deduce] valuable information about the killer through careful examination of the murder scene. 03 …
2deduce — Synonyms and related words: analyze, apply reason, arouse, assume, be afraid, believe, bring forth, bring out, bring to light, call forth, call out, call up, cogitate, collect, conceive, conclude, consider, daresay, deduct, deem, derive, divine,… …
3Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …
4draw an inference — index construe (comprehend), derive (deduce), gauge, infer, presuppose Burton s Legal Thesaurus. William C. Burton …
5construe — construer, n. v. /keuhn strooh / or, esp. Brit., /kon strooh/; n. /kon strooh/, v., construed, construing, n. v.t. 1. to give the meaning or intention of; explain; interpret. 2. to deduce by inference or interpretation; infer: He construed her… …
6construe — con•strue v. [[t]kənˈstru[/t]] esp. brit. [[t]ˈkɒn stru[/t]] n. [[t]ˈkɒn stru[/t]] v. strued, stru•ing, n. 1) to give or explain the meaning or intention of; interpret 2) to deduce by inference or interpretation; infer 3) gram. to analyze the… …
7Scientific method — …
8infer — I (New American Roget s College Thesaurus) v. t. gather, reason, deduce, conclude, opine; presume; construe. See reasoning. II (Roget s IV) v. 1. [To reach a conclusion] Syn. conclude, deduce, gather, judge, come to the conclusion that, draw the… …
9infer — infer, deduce, conclude, judge, gather are comparable when they mean to arrive at by reasoning from evidence or from premises. All except gather are so clearly differentiated in logical use that these distinctions tend to be retained in general… …
10Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …