Logic Syllogistic Algorithms V3
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2025-03-11
- DOI
- https://doi.org/10.5281/zenodo.15189479
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00