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.

Find Information About:

General Topics

• Project Description
  See the project application to the FWF-project grant Nr. P11624-Mat.
  
• Contact: email to mb@logic.tuwien.ac.at
  
• The People working on this project
  
• TILT V 0.1

Important: