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

  • Add document
  • Login
  • Edit

Keyword search

More options

Guided search

Refine your current search.

Type of work

  • Research (5)
  • Thesis (4)

Organisation

  • IfI (9)
  • Other (1)

Language

  • English (8)
  • German (1)

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)
  • Weber, S. (1)
  • more...

Year

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

Discipline

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

Keywords

: all » logic
Home

Search: logic

9 results

Results

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