NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 311
  • 120
  • 104
  • 15
  • 12
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 569
  • 340
  • 159
  • 154
  • 99
  • 94
  • 94
  • 84
  • 53
  • 45
  • 38
  • 38
  • 29
  • 27
  • 25
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 131 to 140 of 569 (0.025 seconds)

Spelling suggestions: "subject:"logik"" "subject:"gogik""

131

Relational exploration combining description logics and formal concept analysis for knowledge specification /

Rudolph, Sebastian. January 2007 (has links)
Techn. University, Diss., 2006--Dresden.
132

Dynamik und Stabilität dünner Fluidlamellen mit aktiven Phasengrenzen

Simon, Dirk. Unknown Date (has links)
Techn. Universiẗat, Diss., 2006--Darmstadt.
133

Displaying modal logic /

Wansing, Heinrich. January 1998 (has links) (PDF)
Univ., Habil.-Schr. u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics--Leipzig, 1997.
134

Target costing auf Basis unvollkommener Informationen : zu den Möglichkeiten und Grenzen fuzzy-basierter Ansätze im Target costing /

Winkler, Andreas. January 2008 (has links)
Zugl.: Regensburg, Universiẗat, Diss., 2008.
135

Zeichen im Zusammenhang

Haller, Rudolf. January 2000 (has links)
Stuttgart, Univ., Diss., 1999.
136

A logical approach to computational theory building : with applications to sociology /

Kamps, Jacob. January 2000 (has links)
Diss. University Amsterdam, 2000. / Namensvariante: Jaap Kamps.
137

Intentionale Grundlegung der philosophischen Logik Studien zur Intentionalität des Denkens bei Hervaeus Natalis im Traktat "De secundis intentionibus" /

Koridze, Georg. Unknown Date (has links)
Universiẗat, Diss., 2005--Tübingen. / Erscheinungsjahr an der Haupttitelstelle: 2004.
138

Verification of sequential imperative programs in Isabelle-HOL

Schirmer, Norbert. Unknown Date (has links)
Techn. University, Diss., 2006--München.
139

Assessing theories : the problem of a quantitative theory of confirmation

Huber, Franz January 2002 (has links) (PDF)
Erfurt, Univ., Diss., 2003
140

A resolution-based calculus for temporal logics

Nonnengart, Andreas. Unknown Date (has links) (PDF)
University, Diss., 1995--Saarbrücken.

Page generated in 0.032 seconds