Sanakirja
Tekoälykääntäjä

Määritelmät

Substantiivit

  1. (logic) The grouping of a formal language and a set of inference rules and/or axioms.

Taivutusmuodot

Monikkoformal systems