From professional translators, enterprises, web pages and freely available translation repositories.
some examples of other well-known calculi are propositional calculus, calculus of variations, lambda calculus, and process calculus.
Μερικά παραδείγματα άλλων γνωστών λογισμών είναι ο προτασιακός λογισμός (propositional calculus), ο λογισμός των μεταβολών (calculus of variations) και ο Λογισμός λάμδα.