Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how


	Mathematics > Foundations of Mathematics > Logic
	ITEMS

	42 items are in this category. Listing items 1 to 20:

	Metamathematics: Foundations & Physicalization [in Books] The Fuzzy Logic Pack [in Articles] Analytica--A Theorem Prover in Mathematica [in Articles] Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation [in Articles] Analytica: A Theorem Prover for Mathematica [in Articles] Applying Fuzzy Logic Theory to Agricultural Statistics [in Conference Proceedings] Artificial Intelligence: Fuzzy Systems for Control Applications: The Truck Backer-Upper [in Articles] Automatic Generation of Numerical Code [in Conference Proceedings] bnf2xml - context search bnf xml trees [in MathSource: Packages and Programs] Boole-Bell-type inequalities in Mathematica [in Conference Proceedings] Boolean Expression Manipulation [in MathSource: Packages and Programs] Certainty and Uncertainty in Science [in Articles] CFLP: A Mathematica Implementation of a Distributed Constraint Solving System [in Articles] Combinatorial Ornithology [in MathSource: Packages and Programs] An Elementary Logic Package [in Articles] Experimentation and Proof in Mathematics [in Articles] Formal Proofs in Axiomatic Set Theory [in MathSource: Packages and Programs] Fuzzifying a Target Motion Analysis Model using Fril and Mathematica [in Articles] Fuzzy logic alternative for analysis in the biomedical sciences [in Articles] Fuzzy Logic [in Technical Notes]
	Next page >> Go to page: 1 2 3 Display in one page: 10 \| 20 \| All records