Related terms:
postfix notation
reverse polish notation
operator precedence
polish notation
postfix
logical axioms
must be done
recursive descent
button presses
shunting yard algorithm
forall z
multiplication operator
leibniz's law
rearrange
automated theorem
Wikipedia sources:
Reverse Polish notation
Infix notation
Operand
Calculator input methods
First-order logic
Operator-precedence parser
Context for words:
infix
notation
|
|