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