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