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