Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Veld, Sander in 't"'
Autor:
Veld, Sander in 't
The logical connectives typically found in programming languages are similar to their mathematical counterparts, yet different due to their short-circuit behaviour -- when evaluating them, the second argument is only evaluated if the first argument i
Externí odkaz:
http://arxiv.org/abs/1510.05162
