Charles Explorer logo
🇨🇿

Mathematics and Automata Reasoning

Publikace na Pedagogická fakulta |
2007

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

History of computers from formal informatics to automata reasoning.