Afișare rezultate |
Afisarea articolelor 21-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-142 |
21-1 of 1