WOLFRAM
Products
Wolfram|One
Mathematica
Wolfram|Alpha Notebook Edition
System Modeler
All Products
Consulting & Solutions
Wolfram Consulting
Industry Solutions
Solutions for Education
Learning & Support
Wolfram U Courses
Wolfram Language Resources
Wolfram Community
Support FAQs
Contact Support
Company
About Wolfram
Careers
Events
Educational Programs
All Sites and Resources
Wolfram|Alpha
Wolfram Cloud
Your Account
Your Account
User Portal
Search
Close
Enable JavaScript to interact with content and submit forms on Wolfram websites.
Learn how
For the newest resources, visit
Wolfram Repositories and Archives »
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