We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Learn More
Many problems in numerical mathematics can be described by formulas and sentences of elementary real algebra, i.e. by real variables, +, ., -, >, =, by logical operations [EQUATION] and by existential and universal quantifiers. In 1933 A. Tarski found a method which enables one to decide in a finite number of steps whether such a sentence is true or(More)
  • 1