Prof. Dr. Agata Ciabattoni
Professor of Logic
Principal Investigator
Anschrift
Technische Universität Wien
Faculty of Informatics
Vienna, Austria
Schwerpunkte
- Computational Logic, Automated Reasoning
Website
Website of Prof. Dr. Agata Ciabattoni: https://informatics.tuwien.ac.at