Suche
Kategorie
Erscheinungsjahr
102 Treffer
- Furbach, Ulrich; Krämer, Teresa; Schon, Claudia
- Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection
- Automated Deduction: CADE 27. Cham: Springer 2019 S. 250 - 268 (Lecture Notes in Computer Science, Bd. 11716)
- Helmers, Eckard; Ilchmann, Fabienne
- Sustainability Subjects in University Education-Development of a Comprehensive Indicator System and Quantitative Analysis of Degree Programs at German Universities
- Ilchmann, Fabienne. Bd. 3. H. 4. Veritas Publications LTD 2019 em0092