automatická dedukce

Anglický ekvivalent

Nepreferovaná znění

  • automatizace logických operací

Nadřazené heslo

  1. Hlavní hesla
  2. matematika
  3. matematická logika
  4. teorie důkazů
  5. automatická dedukce

Polytematický strukturovaný heslář vytvořený Národní technickou knihovnou podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 3.0 Česko.
Chybí Vám v PSH nějaké heslo, máte dotazy, připomínky, či návrhy? Napište nám!