|
|
|
www.logic.at
Library Home ||
Full Table of Contents ||
Suggest a Link ||
Library Help
| http://www.logic.at/ | |
|
|
|
| University of Technology, Vienna, Austria | |
| 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]
© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel University School of Education.