automatic deduction

Czech equivalent

Nonpreffered labels

  • logical operations automatisation

Broader concept

  1. Top concepts
  2. mathematics
  3. mathematical logic
  4. proof theory
  5. automatic deduction

Polythematic Structured Subject Heading System (PSH) created by the National Library of Technology is licensed under the Creative Commons Attribution-ShareAlike 3.0 Czech Republic license.
Do you have any questions or suggestions on PSH? Contact us!