Sortiert nach
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.21-24
2021
- Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.2111-2123
2023
- Link zum Volltext
Automated Reasoning, 2020, p.97-118
2020
Link zum Volltext
Dialogue and discourse, 2023, Vol.14 (1), p.1-33
2023
Link zum Volltext
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-12
2022
Link zum Volltext
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, p.695-707
2023
Link zum Volltext
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, p.530-542
2020
Link zum Volltext
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, p.385-396
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software And Its Engineering -- Software Notations And Tools -- Software Maintenance Tools
- Computing Methodologies -- Machine Learning
- Coq
- Deep Learning
- Lemma Names
- Neural Networks
- Ai In Education
- Algorithms
- Artificial Intelligence
- Automated Code Review
- Automatic Essay Scoring
- Automation & Control Systems
- Bug Fixing
- Code Completion
- Code Translation
Kollektion
Zeitschrift / Serie