UC Irvine
ML Repository
Home
Datasets
Contribute
Sign In
Theme
Logic Theorist
Download
(123.2 KB)
Cite
853
168
About
Files
853
168
About
All code for Logic Theorist
Subject Area
Computer Science
Instances
–
Features
–
Data Types
–
Tasks
–
Feature Types
–
Features
–
Introductory Paper
–
Additional Metadata
Authors
Donation Information
Keywords
–
Authors
–
Year Created
2025
DOI
10.24432/C5DG73
License
CC BY 4.0