TREA

Automatic theorem proving

Follow

Industry

  • CPC
  • G06N5/006
This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS G06N5/00Computer systems utilising knowledge based models

Current Industry

G06N5/006Automatic theorem proving
Industries