Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
allgemeines
(1)artificial intelligence
(1)computer
(1)computer system implementation
(1)edv
(1)formal language
(1)formale sprachen
(1)formallanguage
(1)informatik
(1)logic
(1)logics and meanings of programs
(1)logik
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)mathematische logik
(1)philosophie
(1)programming languages, compilers, interpreters
(1)proof theory
(1)prooftheory
(1)proving
(1)selection
(1)theorem proving
(1)theoremproving
(1)theorie
(1)theory of computation
(1)Ergebnis: 1 Artikel
EAN: 9783540613770
