Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algebra
(1)algebraic programming
(1)algebraisches programmieren
(1)allgemeines
(1)constraint logic programming
(1)constraintogramming
(1)edv
(1)gebraicalgebraischesprogrammieren
(1)higher-order programming
(1)higher-orderprogramming
(1)höherstufiges programmieren
(1)höherstufigesprogrammieren
(1)informatik
(1)logic
(1)logic programming
(1)logik
(1)philosophie
(1)programmieren
(1)programming
(1)proving
(1)software engineering
(1)software engineering/programming and operating systems
(1)term rewri
(1)termrewri
(1)th
(1)theorem proving
(1)theoremproving
(1)theorie
(1)Ergebnis: 1 Artikel
ISBN 13: 978-3-540-58431-5
