Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
computerprogrammierung und sof
(1)da
(1)data structures
(1)edv
(1)formal methods
(1)formal specification
(1)formal verification
(1)formalmethods
(1)formalspecification
(1)formalverification
(1)inductive types
(1)inductivetypes
(1)informatik
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)lambda calculus
(1)lambdacalculus
(1)logic
(1)natural
(1)programmiersprachen
(1)programming logics
(1)programming theory
(1)programminglogics
(1)programmingtheory
(1)proof
(1)proof theory
(1)rewriting systems
(1)rewritingsystems
(1)type systems
(1)type theory
(1)typesystems
(1)Ergebnis: 1 Artikel
Redaktion: robert pollack
