Yazar
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau
Yazar
Durand-Lose, Jerome. editor.
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz
Yazar
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Boniol
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation
Yazar
Aranda-Corral, Gonzalo A. editor.
Format:
Electronic Resources
Alıntı:
-- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis
Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
Arama Sonuçlarını Sınırlandır
Daraltılmış: