Dokumentenserver Fakultät für Mathematik und InformatikDokumentenserver Fakultät für Mathematik und Informatik

  • Login

Keyword search

More options

Guided search

Click a term to refine your current search.

Type of work

  • Research (5)
  • Thesis (5)

Organisation

  • IfI (9)
  • Math (1)
  • Other (1)

Language

  • English (8)
  • German (2)

Authors

  • Haupt, Reiner (3)
  • Hering, Klaus (3)
  • Villmann, Thomas (2)
  • Ho, Ngoc Duc (1)
  • Khalil, Hesham (1)
  • Nittka, Alexander (1)
  • Petri, Udo (1)
  • Schulz, Dietmar (1)
  • Schulze, Hendrik (1)
  • Schulze, Richard Christoph (1)
  • more...

Year

  • 1998 (2)
  • 2001 (2)
  • 1996 (1)
  • 1997 (1)
  • 1999 (1)
  • 2003 (1)
  • 2004 (1)
  • 2015 (1)

Discipline

  • MATH/INF/NAT (10)
  • GENSCI (1)

Keywords

: all » logic
Home

Search: logic

10 results

Results

Authors Year Title Type Fulltext
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