Afișare rezultate |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "Theorem proving
Engineering uncontrolled terms
Universal Turing machines (UTM)
Engineering main heading
Turing machines"
Small universal Turing machines |
Rogojin Iurie |
Academy of Sciences of Moldova |
Theoretical Computer Science |
Nr. / 1996 / ISSN 0304-3975 /ISSNe 1879-2294 |
Disponibil online 9 July, 2023. Descarcări-0. Vizualizări-138 |
1-1 of 1