Allemand | Anglais | |
---|---|---|
General | ||
General | Aussagenlogik [f] | propositional logic |
Informatics | ||
Informatics | Aussagenlogik [f] | propositional logic |
Math | ||
Math | Aussagenlogik [f] | sentential calculus |
Math | Aussagenlogik [f] | propositional logic |
Allemand | Anglais | |
---|---|---|
General | ||
General | Erfüllbarkeitsproblem der Aussagenlogik [f] | Boolean Satisfiability Problem |