Wolfram Library Archive


	Mathematics > Foundations of Mathematics > Logic
	ITEMS

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

	The Fuzzy Logic Pack Analytica--A Theorem Prover in Mathematica Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation Analytica: A Theorem Prover for Mathematica Artificial Intelligence: Fuzzy Systems for Control Applications: The Truck Backer-Upper Certainty and Uncertainty in Science CFLP: A Mathematica Implementation of a Distributed Constraint Solving System An Elementary Logic Package Experimentation and Proof in Mathematics Fuzzifying a Target Motion Analysis Model using Fril and Mathematica Fuzzy logic alternative for analysis in the biomedical sciences Fuzzy Logic Pack for Mathematica Fuzzy Modelling in an Intelligent Data Browser G�del's Algorithm for Class Formation The Mathematica Programmer: Logic Programming I: The Interpreter Modelling integer programming with logic: Language and implementation Packages for Logic and Set Theory Probabilistic Situation Calculus Reasoning About Iteration in G�del's Class Theory Symbolic package for quantum groups, noncommutative algebras, and logics
	Next page >> Go to page: 1 2 Display in one page: 10 \| 20 \| All records

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