Journal of the IGPL

Further Useful Information

Links to other Electronic Journals

• Journal of Universal Computer Science
• Journal of Functional and Logic Programming
• JAIR - the Journal of Artificial Intelligence Research.
• E-journals in philosophy and related subjects
• The Electronic Journal of Analytic Philosophy
• MUSE library of journals published by the John Hopkins University, the Milton S. Eisenhower Library and Homewood Academic Computing
• Journal of Computer-Mediated Communication (JCMC)
• Various Electronic Mathematical Journals
• Electronic Journal of Combinatorics
• Theory and Applications of Categories
• NewtReport -- a hypermedia journal on Newton Technology and other pen-based approaches

Home Pages of Reseach Associations and other Forums

• Association for Automated Reasoning
• The Kurt Gödel Society
• Mechanized deduction world wide
• Mechanized deduction in the German-speaking region
• Electronic Colloquium on Computational Complexity
• Further Societies & Electronic Forums

Theorem Provers and Other Inference Systems

• OTTER: An Automated Deduction System
• Saturate: Saturation Theorem Prover
• SCAN: Quantifier Elimination for Second Order Predicate Logic
• Automated Reasoning System Implementations Collection of theorem provers.

Further Interesting Links

• History of Mathematics archive
• Bibliography Data Bases
• The Free On-line Dictionary of Computing
• Ejournals, FTP sites, TR indexes, etc
• Conference Announcements