Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
automata theory
(1)automatatheory
(1)computability
(1)curry-howard correspondence
(1)curry-howardcorrespondence
(1)edv
(1)first-order logic
(1)first-orderlogic
(1)formal languages
(1)formallanguages
(1)informatik
(1)natural deduction
(1)naturaldeduction
(1)non-classical logics
(1)non-classicallogics
(1)proof theory
(1)prooftheory
(1)propositional logic
(1)propositionallogic
(1)sequent calculus
(1)sequentcalculus
(1)Ergebnis: 1 Artikel
EAN: 9783030878818
