UC Irvine
ML Repository
Theme

Logic Theorist

About

All code for Logic Theorist
Subject Area
Computer Science
Instances
Features
Data Types
Tasks
Feature Types

Features

Introductory Paper

Additional Metadata

Keywords
Authors
Year Created
2025
License
CC BY 4.0