Yazar
Holzer, Markus. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with
View Other Search Results
Yazar
Gelbukh, Alexander. editor.
Format:
Electronic Resources
Alıntı:
-- Onto Design Graphics (ODG): A Graphical Notation to Standardize Ontology Design -- A Logic for
Yazar
Gelbukh, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Vocalization Recognition -- Robotics, Planning, and Scheduling -- AI-Based Design of a Parallel Robot Used as a
Arama Sonuçlarını Sınırlandır
Daraltılmış: