TU-Wien FWF Nr. P11624-MAT

FWF Project "Automated Model Building with Equality"


Project Page

This project is organized by the Department for Applied Formal Logics - Computer Languages Institute with help of the Department for Knowledge Based Systems - Information Systems Institute, both situated at the Vienna University of Technology located in Vienna, Austria.

This project is supported by FWF under grant Nr. P11624-MAT.


Quick Navigation:
[General] [Announcements] [Services] [Related] [Misc.]


Find Information About:

General Topics

Important: