Перевод: с русского на немецкий

Schlußregel

1 Schlußregel

(f)

правило заключения

Немецко-русский математический словарь > Schlußregel
2 правило вывода

Ableitungsregel, Inferenzregel, Schlußregel

Russian-german polytechnic dictionary > правило вывода

BAN-Logik — Die Burrows Abadi Needham Logik (auch bekannt unter BAN Logik) ist eine 1989 von Michael Burrows, Martín Abadi, Roger Needham publizierte Modallogik, mit der kryptographische Protokolle zum Informationsaustausch definiert und auf Schwachstellen… … Deutsch Wikipedia
Burrows-Abadi-Needham-Logik — Die Burrows Abadi Needham Logik (auch bekannt unter BAN Logik) ist eine 1989 von Michael Burrows, Martín Abadi, Roger Needham publizierte Modallogik, mit der kryptographische Protokolle zum Informationsaustausch definiert und auf Schwachstellen… … Deutsch Wikipedia