Department Informatik

Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article On finding a minimal enclosing parallelogram (1995) Evans BL, Schwarz C, Teich J, Welzl E Conference contribution Marktübersicht Simulatoren für Soft-Computing-Systeme auf PCs, Workstations und verteilten Rechnersystemen (1995) Wilke P, Sonnefeld R Other publication type NeuroGraph - An Integrated Development Environment for Neural Networks - Genetic Algorithms and Fuzzy Logic (1995) Wilke P, Rehder J, Billing G, Nilson J, Mansfeld C Conference contribution, Conference Contribution Integration of Genetic Algorithms and Fuzzy Logic into a Neural Network Simulation Environment, Analysis and Simulation of Computer and Telecommunication Systems (1995) Wilke P, Billing G, Mansfeld C, Nilson J Conference contribution, Conference Contribution MathEvolvica - Simulierte Evolution von Entwicklungsprogrammen der Natur (1995) Jacob C Thesis MOSEL - MOdeling Specifikation and Evaluation Language (1995) Bolch G Other publication type Leistungsbewertung mit PEPSY QNS und MOSES (1995) Bolch G Other publication type Modeling Production Lines with Blocking Batch Processing and Unreliable Machines (1995) Bolch G Other publication type