• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 306
  • 119
  • 103
  • 15
  • 12
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 561
  • 334
  • 155
  • 152
  • 97
  • 92
  • 92
  • 83
  • 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.
1

Partiality and choice : foundational contributions /

Carlström, Jesper, January 2005 (has links)
Diss. Stockholm : Univ., 2005.
2

Der Begriff der Hermeneutischen Logik bei Hans Lipps

Scheiffele, Eberhard. January 1971 (has links)
Thesis (doctoral)--Universität Tübingen, 1971.
3

Equality and extensionality in automated higher-order theorem proving

Benzmüller, Christoph. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1999. / Computerdatei im Fernzugriff.
4

Hybrid logic and its proof-theory /

Braüner, Torben. January 1900 (has links)
Doktordisputats, Roskilde universitet.
5

Existenz und die Folgen logische Konzeptionen von Quantifikation und Prädikation

Staschok, Mireille January 2007 (has links)
Zugl.: Berlin, Humboldt-Univ., Diss., 2007
6

The geometry of logical opposition /

Moretti, Alessio. January 2009 (has links) (PDF)
Neuchâtel, Univ., Diss., 2009.
7

A resolution-based calculus for temporal logics

Nonnengart, Andreas. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1995. / Computerdatei im Fernzugriff.
8

Laws in logical worlds : using statistical inference to uncover the structure of logical domains /

Mukherji, Proshanto. January 2008 (has links)
Zugl.: Rochester, Univ., Diss., 2006. / Hergestellt on demand.
9

Existenz und die Folgen : logische Konzeptionen von Quantifikation und Prädikation /

Staschok, Mireille. January 2009 (has links)
Zugl.: Berlin, Humboldt-Universiẗat, Diss., 2007.
10

Investigations in Belnap's logic of inconsistent and unknown information

Weber, Stefan. January 1998 (has links)
Leipzig, University, Diss., 1998. / Elektronische Ressource verfügbar im PDF- und PS-Format.

Page generated in 0.0301 seconds