Mathematics
>
Foundations of Mathematics
>
Logic
ITEMS
41
items are in this category. Listing items
1
to
20
:
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
]
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
]
Fuzzy Logic
Pack for
Mathematica
[in
Articles
]
Fuzzy Modelling in an Intelligent Data Browser
[in
Articles
]
Next page >>
Go to page:
1
2
3
Display in one page:
10
|
20
|
All
records
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
