Ngā tūemi rite: Computer Aided Verification
Kaupapa: Computer Science
- Computer Aided Verification
- The Complexity of Zadeh's Pivot Rule
- Formatives Assessment auf Basis von maschinellem Lernen
- Annals of Scientific Society for Assembly, Handling and Industrial Robotics
- First Working Conference on Artificial Intelligence Development for a Resilient and Sustainable Tomorrow
- KI-unterstützte hybride Modellierung von Emissionen im hochtransienten Motorbetrieb