Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
artificial intelligence
(1)artificialintelligence
(1)automated reasoning
(1)automatedreasoning
(1)computers and education
(1)edv
(1)first order logic
(1)firstorderlogic
(1)formal languages and automata theory
(1)informatik
(1)künstliche intelligenz (ki)
(1)logic in ai
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)puzzle-based learning
(1)puzzle-basedlearning
(1)theorem proving
(1)theoremproving
(1)theoretische informatik
(1)Ergebnis: 1 Artikel
ISBN 10: 3-030-62546-x
