|
Schulze, Richard Christoph |
2015 |
Über logische und mengentheoretische Aspekte von Mochizukis Beweis der abc-Vermutung |
Dipl |
pdf |
|
Weber, S. |
1998 |
Investigations in Belnap's Logic of Inconsistent and Unknown Information |
Diss |
pdf |
|
Wolter, Frank |
1998 |
On Logics with Coimplication |
Paper |
pdf |
|
Villmann, Thomas Haupt, Reiner ... |
1999 |
Parallel Evolutionary Algorithms with SOM-like Migration and their Application to Real World Data Sets |
Paper |
pdf |
|
Schulz, Dietmar |
2001 |
Ein tableaubasierter Beweiser für temporalisierte Beschreibungslogiken: M2DR |
Dipl |
|
|
Nittka, Alexander |
2003 |
A 3-Valued Approach to Disbelief |
Dipl |
pdf |
|
Khalil, Hesham |
2004 |
Normalizing Disjunctive Rule Bases by Retraction |
Report |
|
|
Hering, Klaus Haupt, Reiner ... |
1996 |
Hierarchical Strategy of Model Partitioning for VLSI-Design Using an Improved Mixture of Experts Approach |
Paper |
pdf |
|
Ho, Ngoc Duc |
2001 |
Resource-Bounded Reasoning about Knowledge |
Diss |
pdf |
|
Hering, Klaus Haupt, Reiner ... |
1997 |
Parameterized Partition Valuation for Parallel Logic Simulation |
Paper |
pdf |
