Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
in various computational models, such as Turing machines, pushdown automata, finite automata
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Yazar
Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Alexandru, Andrei. author.
Format:
Electronic Resources
Alıntı:
and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for
Yazar
Soare, Robert I. author.
Format:
Electronic Resources
Alıntı:
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine
22.
Yazar
Calude, Cristian S. editor.
Format:
Electronic Resources
Alıntı:
Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Arama Sonuçlarını Sınırlandır
Daraltılmış: