philosophenlexikon.de
Greek Mythology
PhilSearch
Mailingliste PhilTalk
Library
Philosophical Events
Women in Philosophy
Philosophical Timeline
Coherence Theory
Software
Philosophy in Leipzig
Interactivities
Uwe Wiedemann
Lexica
Reading Room (Monographies)
Reading Room (Journals)
General Information
Document Delivery Services
Internet-Recherche (PhilSearch)
Software für Philosophen und Logiker
- Simulation Prophetenparadoxon (Offline-Version, 1996) (Uwe Wiedemann)
- Simulation St. Petersburg Paradoxon (1996) (Uwe Wiedemann)
Turing-Test
Klassische Aussagenlogik
- Disj_NF Vers. 1.1 (1993) Vereinfachung der Schaltalgebra in die disjunktive Normalform. Verfahren von Quine/McCluskey (von C. Leombruni)
Logik-Analysatoren
- GA Fuzzy Ware Vers. ß 2.00 (1994) von RP Huang
- Logiksimulator Vers. 1.1 (1993) (Andreas Rupp) (Deutsche Shareware)
- Analytic Hierarchy Process (1993) (Shareware)
- 4-Kanal-Logikanalysator Vers. 2.1 (1992) von Uwe Kuhring (Deutsche Shareware)
- Neurosys Vers. 1.0 (1990) Entwicklungsumgebung für die Anwendung Neuronaler Netzwerke
Expertensysteme
- XPRO Vers. 1.20 (1988) Expertensystem Shell von R. Langner