Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

www.logic.at

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.