Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency
Yazar
de Paiva, Valeria. editor.
Format:
Electronic Resources
Alıntı:
-- Multi-Linear Algebraic Semantics for Natural Language -- Categories of Games -- Learning in the limit, general
Yazar
Kohlenbach, Ulrich. editor.
Format:
Electronic Resources
Alıntı:
Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics
Yazar
Hernandez, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
analysis, semantic Web, information integration, machine learning, data mining and information retrieval.
Yazar
Caballero, Juan. editor.
Format:
Electronic Resources
Alıntı:
Checking Mobile App Policies -- Inferring Semantic Mapping Between Policies and Code: The Clue is in the
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
-- Matrix Theory -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
-- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive
Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
papers cover various topics such as automata theory and formal languages; principles and semantics of
Yazar
Alexandru, Andrei. author.
Format:
Electronic Resources
Alıntı:
computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting of
Arama Sonuçlarını Sınırlandır
Daraltılmış: