automatická dedukce (PSH7125) — PSH

CS / EN

automatická dedukce

http://psh.techlib.cz/skos/PSH7125

Anglický ekvivalent

automatic deduction

Nepreferovaná znění

automatizace logických operací

Nadřazené heslo

teorie důkazů

Heslo ve formátu JSON-LD

Hlavní hesla
matematika
matematická logika
teorie důkazů
automatická dedukce

Podrobné výsledky v katalogu NTK

Podrobné výsledky v repozitáři NUŠL

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!