Global ETD Search

91	Informed by silence / Paddock, Jeff, January 2000 (has links) Thesis (M.A.)--Memorial University of Newfoundland, 2001. / Bibliography: leaves 168-173.
92	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.
93	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.
94	An analysis of the patterns of plausible inference proposed by George Polya Pope, Milton Frank, 1937- January 1963 (has links) No description available. Logic, Symbolic and mathematical. Inference. Pólya, George, 1887-1985.
95	Probability and symbolic logic Platzman, George William, 1920- January 1941 (has links) No description available. Probabilities. Logic, Symbolic and mathematical. Boole, George, 1815-1864.
96	A computer model for axiomatic systems Ibrahim, 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 Automatic theorem proving Problem solving Artificial intelligence Logic, Symbolic and mathematical
97	Automated reasoning and machine learning Huang, 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 Automatic theorem proving Logic, Symbolic and mathematical Artificial intelligence
98	Logic and aesthetics in epistemology Payne, Mildred Rose January 1990 (has links) Typescript. / Thesis (Ph. D.)--University of Hawaii at Manoa, 1990. / Includes bibliographical references (leaves 290-303) / Microfiche. / xvii, 303 leaves, bound 29 cm Logic Logic, Symbolic and mathematical Aesthetics Knowledge, Theory of -- History
99	Closed set logic in categories / William James. James, William, 1968- January 1996 (has links) Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996 510.1 21 Logic, Symbolic and mathematical. Brouwerian algebras. Inconsistency (Logic)
100	Closed set logic in categories / William James. James, William, 1968- January 1996 (has links) Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996 510.1 21 Logic, Symbolic and mathematical. Brouwerian algebras. Inconsistency (Logic)

Search results