Polytematický strukturovaný heslář
Toggle navigation
Home
Advanced search
About...
My account
automatická dedukce
Home
matematika
matematická logika
teorie důkazů
automatická dedukce
Term
Metadata
automatická dedukce
Alternative terms
UF
↸
automatizace logických operací
Broader Terms
BT
↑
teorie důkazů
Date of creation
20-Mar-2012
Accepted term
20-Mar-2012
Descendant terms
0
ARK
ark:/99152/t30rgx365yox32
More specific terms
0
Alternative terms
1
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search