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 logicKagey, Rudolf, January 1931 (has links)
Thesis (Ph. D.)--Columbia University, 1931. / Vita. Bibliography: p. 123-128.
|
224 |
A philosophical inquiry into the concept of numberKim, 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 supercomputerChen, 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 JapanSugiura, 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 hydrodynamicsLester, 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