Yazar
Reboul, Anne. editor.
Format:
Electronic Resources
Alıntı:
Philosophy, general.
Yazar
Tuosto, Emilio. editor.
Format:
Electronic Resources
Alıntı:
unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems
View Other Search Results
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Programming Languages and Operational Semantics A Concise Overview / Fernández, Maribel. author.
Yazar
Gärdenfors, Peter, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731150
Format:
Electronic Resources
Alıntı:
Geometry of meaning : semantics based on conceptual spaces / Gärdenfors, Peter, author.
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
-- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for
Yazar
Kohlenbach, Ulrich. editor.
Format:
Electronic Resources
Alıntı:
Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
Semantics / Majkić, Zoran. author.
Yazar
Jones, Richard. editor.
Format:
Electronic Resources
Alıntı:
Executable Formal Semantics of PHP -- Identifying Mandatory Code for Framework Use via a Single Application
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational
Yazar
Gamerschlag, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Semantics.
Yazar
Vetulani, Zygmunt. editor.
Format:
Electronic Resources
Alıntı:
Computer Science, general.
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Multiparty Session Types -- A Categorical Semantics of Signal Flow Graphs -- Generic Forward and Backward
Arama Sonuçlarını Sınırlandır
Daraltılmış: