WOLFRAM
Products
Wolfram|One
Mathematica
Wolfram Notebook Assistant + LLM Kit
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
42
items are in this category. Listing items
31
to
40
:
Pattern logic operations
[in
MathSource: Packages and Programs
]
Probabilistic Situation Calculus
[in
Articles
]
Proof of Robbins' Conjecture
[in
MathSource: Packages and Programs
]
Reasoning About Iteration in Gödel's Class Theory
[in
Articles
]
Symbolic package for quantum groups, noncommutative algebras, and logics
[in
Articles
]
Syntactic Pattern-Matching and Combinatory Logic
[in
Articles
]
Theorema: A Proving System based on Mathematica
[in
Articles
]
Tools for verification of a large discrete system
[in
Articles
]
Using Assumptions and Solving Inequalities
[in
Conference Proceedings
]
Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture
[in
Conference Proceedings
]
<< Previous page
Next page >>
Go to page:
1
2
3
4
5
Display in one page:
10
|
20
|
All
records
For the newest resources, visit Wolfram Repositories and Archives »For the newest resources, visit Wolfram Repositories and Archives »
For the newest resources, visit Wolfram Repositories and Archives »
