• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2518
  • 1006
  • 245
  • 206
  • 205
  • 185
  • 73
  • 52
  • 40
  • 40
  • 40
  • 40
  • 40
  • 39
  • 28
  • Tagged with
  • 5560
  • 1506
  • 718
  • 659
  • 497
  • 483
  • 420
  • 386
  • 371
  • 365
  • 365
  • 356
  • 355
  • 346
  • 341
  • 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.
221

Untersuchungen. zur Grundlegung der Arithmetik mit besonderer Beziehung auf Dedekind. Frege und Russell ...

Bachmann, Friedrich, January 1934 (has links)
Inaug.-diss.--Universität zu Münster. / Lebenslauf. Autographic reproduction of type-written copy; printed t.p. "Die vorliegende arbeit is aus einer bearbeitung der preisaufgabe 'Der gegenwärtige stand des verhältnisses von logik und mathematik, mit besonderer berücksichtigung des Frege-Russellschen aufbaus der arithmetik' hervorgegangen, die die Philosophische und naturwessenschaftliche fakult ät der Imoversotät Münster i. W. ... für das studienjahr 1932-1933 gestellt hatte, und is nach zuerkennung des preises im frühjahr 1933 ... als dissertation. Issued also as Forschungen zur Logistik und Zur grundlegung der exacten wissenschafter, hrsg. von Heinrich Scholz ... hft. 1. "Literatureverzeichnis": p. 78.
222

Integer multiplier and squarer architectures with overflow detection /

Gök, Mustafa, January 2003 (has links)
Thesis (Ph. D.)--Lehigh University, 2004. / Includes vita. Includes bibliographical references (leaves 205-221).
223

F.H. Bradley's logic

Kagey, Rudolf, January 1931 (has links)
Thesis (Ph. D.)--Columbia University, 1931. / Vita. Bibliography: p. 123-128.
224

A philosophical inquiry into the concept of number

Kim, Joongol. January 2004 (has links)
Thesis (Ph. D.)--University of Notre Dame, 2004. / Thesis directed by Michael Detlefsen and Patricia Blanchette for the Department of Philosophy. "April 2004." Includes bibliographical references (leaves 120-122).
225

Enabling system validation for the many-core supercomputer

Chen, Fei. January 2009 (has links)
Thesis (Ph.D.)--University of Delaware, 2009. / Principal faculty advisor: Guang R. Gao, Dept. of Electrical & Computer Engineering. Includes bibliographical references.
226

Boolean matching and level-based technology mapping /

Ciric, Jovanka. January 2001 (has links)
Thesis (Ph. D.)--University of Washington, 2001. / Vita. Includes bibliographical references (leaves 91-97).
227

Hindu logic as preserved in China and Japan

Sugiura, Sadajiro. Singer, Edgar A. January 1900 (has links)
Thesis (Ph. D.)--University of Pennsylvania, 1898. / Bibliography: p. 105-114.
228

Wittgenstein and the justification of deduction /

Chan, Ho-mun. January 1987 (has links)
Thesis--M. Phil., University of Hong Kong, 1987.
229

An investigation into using fuzzy logic techniques to control a real-world application /

Bart, Quinton Jerome. January 1900 (has links)
Thesis (MTech (Electrical Engineering))--Peninsula Technikon, 2002. / Word processed copy. Summary in English. Includes bibliographical references (leaves 170-179). Also available online.
230

Investigation of the applicability of neural-fuzzy logic modeling for culvert hydrodynamics

Lester, Jonathan M., January 2003 (has links)
Thesis (Ph. D.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains ix, 110 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 90-94).

Page generated in 0.2444 seconds