Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library


Library Home || Full Table of Contents || Library Help

Visit this site: http://www.logic.at/

Author:University of Technology, Vienna, Austria
Description: A group in Applications of Formal Logic. This server contains the home pages of the Institut für Computersprachen; the Abteilung für Anwendungen der formalen Logik; the Kurt Gödel Society; the Vienna Group for Multiple-valued Logics; the studium irregulare Computational Logic; the FWF Project Automated Model Building with Equality; Term Schematizations and Their Applications, a CADE-13 workshop; Workshops on First order Theorem Proving, home page of the FTP workshop series; and Strategies in Automated Deduction (STRATEGIES'99), a FLoC'99 workshop.

Levels: Research
Languages: English, German
Resource Types: Research Centers
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.