- 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 101 to 110 of 163 (0.08 seconds)Spelling suggestions: "subject:"logic (symbolic anda mathematical)"" "subject:"logic (symbolic ando mathematical)""
| 101 |
Syntactic characterization of propositional satisfiabilityBelov, Anton. January 2005 (has links)
Thesis (M. Sc.)--York University, 2005. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 90-94). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004 & res_dat=xri:pqdiss & rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation & rft_dat=xri:pqdiss:MR11752.
|
| 102 |
Bisimulation quantifiers for modal logics /French, Timothy Noel. January 2006 (has links)
Thesis (Ph.D.)--University of Western Australia, 2006.
|
| 103 |
An algorithm to quantify behavioural similarity between probabilistic systems /Sharma, Babita. January 2006 (has links)
Thesis (M.Sc.)--York University, 2006. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 117-130). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR29613
|
| 104 |
Wahrheit und Beweisbarkeit e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik /Glöckl, Johann, January 1976 (has links)
Habilitationsschrift--Bonn. / Includes bibliographical references (p. 93).
|
| 105 |
Wahrheit und Beweisbarkeit e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik /Glöckl, Johann, January 1976 (has links)
Habilitationsschrift--Bonn. / Includes bibliographical references (p. 93).
|
| 106 |
Meaning, generality, and rules : language and logic in the later Wittgenstein /Loomis, Eric John, January 1999 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 1999. / Vita. Includes bibliographical references (leaves 386-407). Available also in a digital version from Dissertation Abstracts.
|
| 107 |
Monadic bounded algebras : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics /Akishev, Galym. January 2009 (has links)
Thesis (Ph.D.)--Victoria University of Wellington, 2009. / Includes bibliographical references and index.
|
| 108 |
Applying Toulmin's argumentation framework to explanations in a reform-oriented mathematics class /Brinkerhoff, Jennifer Alder, January 2007 (has links) (PDF)
Thesis (M.A.)--Brigham Young University. Dept. of Mathematics Education, 2007. / Includes bibliographical references (p. 54-56).
|
| 109 |
Length of proofs and unification theoryFarmer, William Michael. January 1900 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 224-228).
|
| 110 |
Calculus students' knowledge of the composition of functions and the chain ruleHassani, Sarah. Dossey, John A. January 1998 (has links)
Thesis (D.A.)--Illinois State University, 1998. / Title from title page screen, viewed July 3, 2006. Dissertation Committee: John A. Dossey (chair), Roger Day, Michael Marsali, Michael Plantholt. Includes bibliographical references (leaves 196-202) and abstract. Also available in print.
|
Page generated in 0.0841 seconds