- 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 91 to 100 of 171 (0.198 seconds)Spelling suggestions: "subject:"symbolic anda mathematical"" "subject:"symbolic ando mathematical""
| 91 |
Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematicsAuerbach, David Daniel January 1978 (has links)
Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES. / Bibliography: leaves 131-132. / by David D. Auerbach. / Ph.D.
|
| 92 |
Hilbert's thesis : some considerations about formalizations of mathematicsBerk, Lon A January 1982 (has links)
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES / Bibliography: leaves 175-176. / by Lon A. Berk. / Ph.D.
|
| 93 |
The logical systems of LesniewskiLuschei, Eugene C. January 1959 (has links)
No description available.
|
| 94 |
Informed by silence /Paddock, Jeff, January 2000 (has links)
Thesis (M.A.)--Memorial University of Newfoundland, 2001. / Bibliography: leaves 168-173.
|
| 95 |
A design methodology for the implementation of fuzzy logic traffic controller using programmable gate array /Ambre, Mandar. Kwan, Bing Woon, January 2004 (has links)
Thesis (M.S.)--Florida State University, 2004. / Advisor: Dr. Bing Kwan, Florida State University, College of Engineering, Dept. of Electrical and Computer Engineering. Title and description from dissertation home page (viewed June 16, 2004). Includes bibliographical references.
|
| 96 |
Contextual and data refinement for the refinement calculus for logic programs /Colvin, Robert John. January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Queensland, 2002. / Includes bibliographical references.
|
| 97 |
An analysis of the patterns of plausible inference proposed by George PolyaPope, Milton Frank, 1937- January 1963 (has links)
No description available.
|
| 98 |
Probability and symbolic logicPlatzman, George William, 1920- January 1941 (has links)
No description available.
|
| 99 |
A computer model for axiomatic systemsIbrahim, Rosalind L January 1977 (has links)
Typescript. / Thesis (Ph. D.)--University of Hawaii at Manoa, 1977. / Bibliography: leaves 172-175. / Microfiche. / vii, 175 leaves ill
|
| 100 |
Automated reasoning and machine learningHuang, Guoxiang January 1996 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 1996. / Includes bibliographical references (leaves 140-144). / Microfiche. / x, 144 leaves, bound ill. 29 cm
|
Page generated in 0.2619 seconds